Manage VSCode user settings at the team/project level (No access to ~/.config/Code/User/settings.json)

[konne]

Bug description

The normal path to access user settings for vscode is not available in gitpod.

I also searched in the root dir with find -name for settings.json, but no file is filled with the user settings.

Use case:
We have already .vscode/settings.json in our repo so that it is used for all local developers with vscode.
We have to add settings that are only available for the gitpod context. If we change the file in the .vscode
folder in the init / command block, git see that change and want to push it back to the main repo that is
not wished, because it should not affect the local developer.

Steps to reproduce

see description

Expected behavior

No response

Example repository

No response

Anything else?

No response

[akosyakov]

User settings are stored in browser cache for the given workspace, not on the disk. They are auto synched between workspaces.

[konne]

@akosyakov thanks for the answer. But this does not solve my issue to handle settings that should be only applied to users of the repo in gitpod and not in the local vscode users.

I have two feature ideas to solve that issue:

1. introduce another level of settings file that is only applied to the gitpod vscode system. Like you do with the install in the yaml file
2. Can you then introduce a possibility to set or get these settings via gp cmd tool?
   So that we can for example already set default user settings for a new user

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[schickling]

Still an issue 🙈

[loujaybee]

Thanks for raising @konne, we can look into ways to make user settings more configurable on a team / project level.

We'll also update the documentation to make it clearer how the settings sync currently works and how to override 🙏

Related: https://github.com/gitpod-io/website/issues/1276

Removing from inbox.

[akosyakov]

We don't control VS Code settings. I am not aware that VS Code allow to configure on team/project level without either mixing them into each user settings or into project settings. The clean and primary way to share settings across the team is to commit them to git. @jeanp413 do you know other ways?

[konne]

I understand that you save the VSCode user settings in the browser cache and I know that VS Code only has the concept of user & workspace settings.
So maybe it could be the possibility that you first start the gitpod browser with empty settings that you can have "start" settings out of the project.

[akosyakov]

I understand that you save the VSCode user settings in the browser cache and I know that VS Code only has the concept of user & workspace settings.

Not, we are, it is VS Code, we don't change anything there.

[jeanp413]

@konne can you try modifying /workspace/.vscode-remote/data/Machine/settings.json (you can also open the settings ui and select the remote tab) and see if that works for your use case?