mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
53 lines
1.4 KiB
Plaintext
53 lines
1.4 KiB
Plaintext
{
|
|
"folders": [
|
|
{ "path": "../common-go" },
|
|
{ "path": "../ws-daemon" },
|
|
{ "path": "../ws-manager" },
|
|
{ "path": "../ws-manager-api" },
|
|
{ "path": "../ws-manager-mk2" },
|
|
{ "path": "../server" },
|
|
{ "path": "../../test" },
|
|
{ "path": "../../dev/gpctl" },
|
|
{ "path": "../../install/installer" }
|
|
],
|
|
"settings": {
|
|
"typescript.tsdk": "gitpod/node_modules/typescript/lib",
|
|
"[json]": {
|
|
"editor.insertSpaces": true,
|
|
"editor.tabSize": 2
|
|
},
|
|
"[yaml]": {
|
|
"editor.insertSpaces": true,
|
|
"editor.tabSize": 2
|
|
},
|
|
"[go]": {
|
|
"editor.formatOnSave": true
|
|
},
|
|
"[tf]": {
|
|
"editor.insertSpaces": true,
|
|
"editor.tabSize": 2
|
|
},
|
|
"go.formatTool": "goimports",
|
|
"go.useLanguageServer": true,
|
|
"workspace.supportMultiRootWorkspace": true,
|
|
"database.connections": [
|
|
{
|
|
"type": "mysql",
|
|
"name": "devstaging DB",
|
|
"host": "127.0.0.1:23306",
|
|
"username": "gitpod",
|
|
"database": "gitpod",
|
|
"password": "test"
|
|
}
|
|
],
|
|
"launch": {},
|
|
"files.exclude": {
|
|
"**/.git": true
|
|
},
|
|
"go.lintTool": "golangci-lint",
|
|
"gopls": {
|
|
"allowModfileModifications": true
|
|
}
|
|
}
|
|
}
|