Skip to content

Commit

Permalink
clarified wording
Browse files Browse the repository at this point in the history
  • Loading branch information
dmalan committed Jan 25, 2023
1 parent 829ae9f commit bdff835
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion code.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ VS Code supports quite a few [settings](https://code.visualstudio.com/docs/getst
1. Remote settings, which are set by CS50 via `.devcontainer.json` file in a codespace. [Remote settings override User settings](https://code.visualstudio.com/docs/getstarted/settings#_settings-precedence).
1. Workspace settings, which can be set by you via VS Code's GUI (or by editing `.vscode/settings.json` manually). [Workspace settings override Remote settings](https://docs.github.com/en/codespaces/customizing-your-codespace/configuring-codespaces-for-your-project#creating-a-custom-codespace-configuration).

In terms of predecence, then, Workspace settings override Remote settings, and Remote settings override User settings.
In other words, Workspace settings override Remote settings, and Remote settings override User settings.

If you use VS Code outside of CS50, you might thus want to store most of your settings in User settings (and enable Settings Sync). And if you would like to override any of [CS50's Remote settings](https://code.cs50.io/settings.json), you can do so via Workspace settings.

Expand Down

0 comments on commit bdff835

Please sign in to comment.