Skip to content

User settings not applied in dev containers #14291

@sgraband

Description

@sgraband

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

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions