Allow editing in codespaces and gitpod

jbangdev · Jun 20, 2020 · de8781e · de8781e
1 parent 6226a7d
commit de8781e
Show file tree

Hide file tree

Showing 4 changed files with 27 additions and 1 deletion.
diff --git a/.gitpod.Dockerfile → .devcontainer/Dockerfile b/.gitpod.Dockerfile → .devcontainer/Dockerfile
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -0,0 +1,25 @@
+{
+	"name": "JBang",
+	"dockerFile": "Dockerfile",
+
+	// Set *default* container specific settings.json values on container create.
+	"settings": {
+		"terminal.integrated.shell.linux": "/bin/bash",
+		"java.home": "/home/gitpod/.sdkman/candidates/java/current"
+	},
+
+	// Add the IDs of extensions you want installed when the container is created.
+	"extensions": [
+		"vscjava.vscode-java-pack",
+		"ms-azuretools.vscode-docker"
+	],
+
+	// Use 'forwardPorts' to make a list of ports inside the container available locally.
+	"forwardPorts": [5900, 6080],
+
+	// Use 'postCreateCommand' to run commands after the container is created.
+	"postCreateCommand": "java -version",
+
+	// Uncomment to connect as a non-root user. See https://aka.ms/vscode-remote/containers/non-root.
+	"remoteUser": "gitpod"
+}
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -1,3 +1,4 @@
 image:
-  file: .gitpod.Dockerfile
+  file: .devcontainer/Dockerfile
+  context: .devcontainer
 
diff --git a/.theia/settings.json → .vscode/settings.json b/.theia/settings.json → .vscode/settings.json