search

rzk-lang / vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.
https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Other
8 stars 1 forks source link

Add a configuration option for the executable path #22

Closed aabounegm closed 1 year ago

aabounegm commented 1 year ago

Resolves #19

fizruk commented 1 year ago

Great, thank you! I think proper documentation is needed. How do I configure this locally? Do I need to configure it?

fizruk commented 1 year ago

By the way, I think it would be good to have CI check npm i && npm run compile as well as vsce package?

aabounegm commented 1 year ago

How do I configure this locally? Do I need to configure it?

You do not need to configure it. It defaults to null, which means to just use rzk (and expect it to be on the PATH). If you want to test with a particular version during development, for example, just go to the settings and set the path:

image

If you meant "locally" to one specific project, just override it in .vscode/settings.json in that project

By the way, I think it would be good to have CI check npm i && npm run compile as well as vsce package

Sounds like a good idea, but should it be part of this PR?

fizruk commented 1 year ago

Sounds like a good idea, but should it be part of this PR?

Yes, please, extend README with the documentation about configuration options (we have one for now, but perhaps we will have more in the future).