Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

User settings not applied in dev containers #14291

Closed
Tracked by #14294
sgraband opened this issue Oct 11, 2024 · 0 comments · Fixed by #14548
Closed
Tracked by #14294

User settings not applied in dev containers #14291

sgraband opened this issue Oct 11, 2024 · 0 comments · Fixed by #14548
Assignees

Comments

@sgraband
Copy link
Contributor

Bug Description:

In development containers, user settings are not applied, and only the default settings are used. This can lead to an altered user experience, potentially without the user noticing, as their custom configurations are not respected in the container environment.

Steps to Reproduce:

  1. Open a development container.
  2. Check the user settings.
  3. Observe that only the default settings are applied instead of the user's configured settings.

Additional Information

  • Operating System: Ubuntu 22.04
  • Theia Version: 1.54.0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants