#
Settings
The Settings tab is where you configure your workspace. It is divided into seven sub-tabs.
#
How settings combine
A setting can come from three places:
- Built-in defaults that every workspace starts with.
- The platform and your company settings. These are marked Managed by deployment in Settings and cannot be edited there.
- You, through the Settings sub-tabs.
For each individual setting, yours wins over your company's, and your company's wins over the built-in default. Where an entry is managed by the deployment, Settings offers a way to put your own in its place, such as Override for an agent or Re-authenticate for a credential.
#
Where your settings are stored
Everything you set is stored under /workspace/.config, so it survives
restarts and is part of Export settings on the General
sub-tab.
Use the Settings sub-tabs rather than editing these files by hand. Hand edits
in .config/user do work, but saving from Settings rewrites the whole file, so
never keep unsaved hand edits open at the same time.