virtual_robot/.devcontainer/devcontainer.json at e0ef0aa2eee04a6e50fbf18690f9f3806c4cc089 · Beta8397/virtual_robot · GitHub

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
{
	"name": "Virtual Robot Simulator",
	"image": "mcr.microsoft.com/devcontainers/base:debian",

	"features": {
		"ghcr.io/devcontainers/features/desktop-lite:1": {
			"password": "vscode",
			"webPort": "6080",
			"vncPort": "5901"
		}
	},

	"customizations": {
		"vscode": {
			"extensions": [
				"vscjava.vscode-java-pack",
				"vscjava.vscode-java-debug",
				"redhat.java"
			],
			"settings": {
				"java.configuration.runtimes": [
					{
						"name": "JavaSE-17",
						"path": "/home/vscode/.sdkman/candidates/java/current",
						"default": true
					}
				],
				"java.jdt.ls.java.home": "/home/vscode/.sdkman/candidates/java/current"
			}
		}
	},

	"forwardPorts": [6080, 5901],
	"portsAttributes": {
		"6080": {
			"label": "Desktop (noVNC)",
			"onAutoForward": "notify"
		},
		"5901": {
			"label": "VNC",
			"onAutoForward": "ignore"
		}
	},

	"postCreateCommand": "bash .devcontainer/setup.sh",

	"remoteEnv": {
		"DISPLAY": ":1",
		"JAVA_HOME": "/home/vscode/.sdkman/candidates/java/current"
	},

	"remoteUser": "vscode"
}