Add option to disable downloads #263
Conversation
| "coder.enableDownloads": { | ||
| "markdownDescription": "Allow the plugin to download the CLI when missing or out of date.", | ||
| "type": "boolean", | ||
| "default": true | ||
| }, |
There was a problem hiding this comment.
I'm still trying to get up to speed on VS Code extension stuff. I think I get the point of the contribution point properties, but aside from the default values, how do these properties get set over time?
There was a problem hiding this comment.
Yup, you can update it with config.update() from plugin code, although we have no need to update it ourselves in this case, we just let it get set via the settings window (which is presumably using config.update()).
Funny thing about the default is that it seems to have no actual effect on the code, it only changes what is displayed in the settings window. In the code you just get undefined.
There was a problem hiding this comment.
Technically you could also munge the settings.json file and VS Code will pick that up but that is a pretty janky way to update a value. I have seen it done though although I forget why.
Closes #193