Open akosyakov opened 3 months ago
I agree this is confusing. We pick up the Remote setting if there is one, but then fall back to the local setting.
Ideally the UI would allow the user to edit the setting in both the Remote and the User tab of the settings editor, but there is no setting scope supporting this.
The reason this works in the extension has to do with the extension running as a remote resolver when the setting is read.
While over SSH, configured dotfiles are applied to the devcontainer, but not reflected in settings UI.
Steps to Reproduce:
Does this issue occur when you try this locally?: Yes/No Does this issue occur when you try this locally and all extensions are disabled?: Yes/No