search

microsoft / vscode-remote-release

Visual Studio Code Remote Development: Open any folder in WSL, in a Docker container, or on a remote machine using SSH and take advantage of VS Code's full feature set.
https://aka.ms/vscode-remote
Other
3.62k stars 279 forks source link

[wsl] rename setting names to `wsl` #7268

Open gregvanl opened 1 year ago

gregvanl commented 1 year ago

The WSL and Dev Containers extensions use different conventions for prefixing their settings.

In the Settings editor: WSL settings have the prefix "Remote.WSL:" Dev Containers settings have the prefix "Dev > Containers:"

image

In settings.json these are: WSL - "remote.WSL.*" Dev Containers - "dev.containers"

Not sure if the "Remote." prefix is needed for WSL to avoid settings name collision with other WSL extensions?

The implied heirarchy for the "Dev > Containers" settings seems odd. Should this just be "Dev Containers:"?

aeschli commented 1 year ago

Yup, I'm planning to change to wsl setting names too. The prefix will be wsl.

The arrow is something the Settings UI does when rendering the segments. To avoid it we would have to call the setting devContainers or dev-containers.