Location of user profile settings may need correcting

[mloskot]

1. Go to https://code.visualstudio.com/docs/getstarted/settings#_profile-settings

2. Learn about location of the settings.json:

   vscode-docs/docs/getstarted/settings.md

   Line 242 in 3e3747e

   * **Linux** `$HOME/.config/Code/User/profiles/<profile ID>/settings.json`

3. Check it on Linux

   $ ls $HOME/.config/Code/User/profiles/
   ls: cannot access '/home/mloskot/.config/Code/User/profiles/': No such file or directory

4. Search it

   $ find $HOME/.config/Code/User/ -name settings.json
   /home/mloskot/.config/Code/User/settings.json

It looks like the documentation may need this correction

- * **Linux** `$HOME/.config/Code/User/profiles/<profile ID>/settings.json`
+ * **Linux** `$HOME/.config/Code/User/profiles/settings.json`

[ntrogh]

@mloskot thanks for reporting this. Looking into it.

[ntrogh]

@mloskot The location of the settings.json file depends on whether you have multiple profiles in VS Code or not. The default user settings (aka application settings) are stored in the path you mentioned: $HOME/.config/Code/User/profiles/settings.json.

When you create a new profile, and there's a setting that overrides the default settings, a new settings file is created in the location that is mentioned in the docs: $HOME/.config/Code/User/profiles/<profile ID>/settings.json. The <profile ID> indicates the unique identifier of the profile.

I realize that this is not clearly described in the docs and will update them. Thanks for bringing this up!

[mloskot]

@ntrogh I've been using VS Code for long time and I've just learned about the multi-profiles feature :-) It all makes sense of course. Initially, I thought the <profile ID> may be a randomised name like the 11s3wyy8.default in ~/.mozilla/firefox/11s3wyy8.default for security purposes etc.

Thanks!

[ntrogh]

@mloskot Great to hear! Profiles are an amazing feature (yes, I'm biased). For example, I use them for switching between "doc writer" mode and "development mode", when I need write some code. Each has different extensions and settings, tweaked for that purpose. Especially useful if you need to switch between programming languages!

BTW, it can also make your VS Code perf faster, because you only active the extensions that you need for that profile. With a single profile you end up with dozens of extensions, most you don't need.

[mloskot]

@ntrogh I can see the benefits indeed. Avoiding the extensions bloat is a major one. Thanks!