Closed tfuto closed 1 month ago
Either allow specifying/overwriting the user settings in the workspace settings.json file
This cannot be supported
Support a userSettings.json file in the workspace so that user settings could be stored there (maybe also overwriting some global user settings.json values.
You can use symlinks - symlink the settings.json file from your user settings to point to the one from workspace settings.
Main issue: Some settings in the user
settings.json
won't work if placed in the workspacesettings.json
. Some of these are:Problems with this:
settings.json
.--user-data-dir
, in its current form, is not readily versionable. There are a mixture of various content aside of configuration JSON files there.Ideal setup:
git clone
should restore everything that is required for a successful build.Suggestions:
settings.json
file oruserSettings.json
file in the workspace so that user settings could be stored there (maybe also overwriting some global usersettings.json
values.