-
Notifications
You must be signed in to change notification settings - Fork 473
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Insider build connection profile settings are stored in stable user settings file #242
Comments
Related: #220 (probably duplicate) |
Just a note as to why this is blocked: Even though WorkspaceConfiguration.update() allows you to specify whether you want to write to the user or workspace config file, WorkspaceConfiguration.get() does not tell you which config (user or workspace) the read is performed on. Until this is resolved, there is a potential for data loss if we simply swap out the existing read/write code for handling settings files with the built-in API's since we can't guarantee that we're writing back to the same file that we read from. |
It looks like we now have the |
fixed in #991 |
The Insider build's connection profiles settings are stored in the stable build's settings file. We should read\write connection settings from the correct location based on the build type.
This is likely due to our custom code to write into settings file. It would be better to use the new VS Code settings management APIs to avoid this bug.
Expected: Settings stored in insiders user settings file
Actual: Settings stored in stable user settings file
The text was updated successfully, but these errors were encountered: