Manage VSCode user settings at the team/project level (No access to ~/.config/Code/User/settings.json)
Nobody has claimed this yet.
- Dominant language
- TypeScript
- Stars
- 13.8k
- Forks
- 1.4k
- Avg merge
- 17h 58m
- Merged PRs (30d)
- 5
Description
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
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reproducing the missing ~/.config/Code/User/settings.json access in a Gitpod workspace and compare it with the repository's .vscode/settings.json behavior. The issue does not specify an expected implementation or a test, so the completion criteria need clarification before work can begin.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- vscode
- Domain
- developer-experience
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100