| 12345678910111213 |
- {
- "workbench.colorTheme": "Default Dark+",
- "editor.fontSize": 15,
- "editor.wordWrap": "on",
- // "workbench.editor.defaultBinaryEditor": "default",
- // "terminal.integrated.profiles.linux": {
- // "docker-shell": {
- // "path": "/root",
- // "args": ["-c", "source ~/.profile"]
- // }
- // },
- // "terminal.integrated.defaultProfile.linux": "docker-shell"
- }/
|
