mirror of
https://github.com/bluxmit/alnoda-workspaces.git
synced 2024-06-11 08:34:30 +12:00
7 lines
236 B
JSON
7 lines
236 B
JSON
|
{
|
||
|
"terminal.integrated.shell.linux": "/bin/zsh",
|
||
|
"workbench.colorTheme": "Ayu Mirage Bordered",
|
||
|
"git-graph.maxDepthOfRepoSearch": 3,
|
||
|
"workbench.iconTheme": "theia-file-icons",
|
||
|
"terminal.integrated.inheritEnv": true
|
||
|
}
|