mirror of
https://github.com/nix-community/home-manager.git
synced 2026-10-02 19:49:18 +00:00
15 lines
261 B
Plaintext
15 lines
261 B
Plaintext
{
|
|
// Interactive settings use JSON5.
|
|
"editor.fontSize": 12,
|
|
"arraySetting": ["live",],
|
|
"nested": {
|
|
"declared": "live",
|
|
"keep": true,
|
|
"deeper": {
|
|
"declared": "live",
|
|
"keep": "nested-live",
|
|
},
|
|
},
|
|
"unrelated": "survives",
|
|
}
|