forked from gitpod-io/gitpod
-
Notifications
You must be signed in to change notification settings - Fork 0
/
gitpod-ws.theia-workspace
54 lines (54 loc) · 1.52 KB
/
gitpod-ws.theia-workspace
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
{
"folders": [
{ "path": "" },
{ "path": "components/common-go" },
{ "path": "components/content-service" },
{ "path": "components/ee/cerc" },
{ "path": "components/ee/ws-scheduler" },
{ "path": "components/gitpod-cli" },
{ "path": "components/image-builder" },
{ "path": "components/licensor" },
{ "path": "components/registry-facade" },
{ "path": "components/service-waiter" },
{ "path": "components/supervisor" },
{ "path": "components/ws-manager" },
{ "path": "components/ws-daemon" },
{ "path": "components/ws-proxy" },
{ "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
}
}
}