heetbeet
VS Code User Data Folder
VS Code user data folder should be JuliaWin\userdata\.vscode\.
Yet in practice the settings.json file is updated at JuliaWin\packages\vscode\data\.
This bug is after we moved over to the portable .zip version of VSCode. That version doesn't seem to recognize the commandline arguments to set a user data folder.
The previous approach was to use the full installer and then to fake-install (i.e. extract) it to our wanted location, and make sure the portable launchers take care of setting up the data folders.
I'm not comfortable with extracting the installer, some subtle bugs can creep in, such as not being able to "extract" while another instance of VSCode is running. But I also don't quite like the idea of not being able to set the data directory, I like to keep the "packages" and the "userdata" separate. Will see what I can do about this.
Okay, It seems like there is a difference between how vscode\bin\vscode.cmd and vscode\vscode.exe handles the --user-data-dir and --extensions-dir commandline. I'll have to investigate what the exact difference is and whether we should wrap the .exe rather than the .cmd
When this project started I wasn't able to install the julia extention through code.exe but was able to do it through code.cmd, it might be that I just did something wrong. Odds are that this issue is then easily fixable without having to use the VSCode installer.