-
Notifications
You must be signed in to change notification settings - Fork 5.8k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The main goal of this patch was to make user settings stored on disk instead of in the browser, but this stopped working some time ago. Not only that but it is causing a bug where a workspace will not fully open. A secondary goal was to fix the Vim extension but the extension appears to work just fine without this change now (both the server and browser versions). This patch is not useful anymore anyway because there are remote-level settings that *do* get stored on disk and can be used instead of user-level settings when necessary. Fixes #3061, and possibly #6153.
- Loading branch information
1 parent
958c520
commit 09dd5fe
Showing
5 changed files
with
15 additions
and
82 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@code-asher Your statement:
My response (Dec 11, 2021):
Originally posted by @benz0li in #4609 (comment)
09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@code-asher Your statement:
IMHO Remote settings cannot fully replace user settings.
Some extension's settings can only be stored as user setting but not as remote setting.
ℹ️ At least this was the case at the end of 2021. Maybe that has changed in the meantime.
09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I was able to reproduce #3061 but never ran into #6153.
09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@code-asher I will check, whether all [my] settings can be fully migrated from
~/.local/share/code-server/User/settings.json
to~/.local/share/code-server/Machine/settings.json
or not.This change would definitely cause the following: If a user clears the browser's cache, the user settings will be lost.
09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The only setting that cannot be migrated is
"telemetry.telemetryLevel": "off"
.👉 So I will use the
--disable-telemetry
flag to disable telemetry by default.09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Long story short: code-server works just fine after deleting the local storage patch.
Migrating to Remote Settings (
~/.local/share/code-server/Machine/settings.json
) seems possible.09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@code-asher If one opens Settings, the 'User' tab is selected by default.
With the current behaviour1, this should default to 'Remote'.Footnotes
'Folder settings' overwrite 'Workspace settings' overwrite 'Remote settings' (Machine settings) overwrite 'User settings' overwrite 'Default settings' ↩
09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Codespaces behave the same way.
There is no need for code-server to behave differently.
09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you for testing all this and confirming the Codespaces behavior!
How strange that they only allow this to be a user-level setting. 🤔
09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It says
This setting has an application scope and can be set only in the user settings file.
09dd5fe
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Ah I see, and I see security settings can only be in user settings as well. How unfortunate, that does make this not quite the perfect replacement.