get docker image from ghcr, instead of building it locally

DFKI-NI · Oct 9, 2023 · d1df6c6 · d1df6c6
1 parent 4a46b04
commit d1df6c6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 8 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,11 +1,6 @@
 // See https://aka.ms/vscode-remote/devcontainer.json for format details.
 {
-	"dockerFile": "Dockerfile",
-	"build": {
-		"args": {
-			"WORKSPACE": "${containerWorkspaceFolder}"
-		}
-	},
+	"image": "ghcr.io/dfki-ni/turtlebot4_dev_container:latest",
 	"remoteUser": "ros2-dev",
 	"runArgs": [
 		"--network=host",
@@ -49,5 +44,5 @@
 				"DavidAnson.vscode-markdownlint"
 			]
 		}
-	},
+	}
 }
diff --git a/README.md b/README.md
@@ -33,4 +33,3 @@ This repository is based on public template from Allison Thackston for a [generi
 
 - [ ] Provide setup scripts for the discovery server setup.
 - [ ] Does WSL work?
-- [ ] Build docker image in CI and publish to container registry
Original file line number	Diff line number	Diff line change
Expand Up		@@ -33,4 +33,3 @@ This repository is based on public template from Allison Thackston for a [generi

		- [ ] Provide setup scripts for the discovery server setup.
		- [ ] Does WSL work?
		- [ ] Build docker image in CI and publish to container registry