From d1df6c6403f9ef52cf4f11c5500dd6cc89f18557 Mon Sep 17 00:00:00 2001 From: Julian Arkenau Date: Mon, 9 Oct 2023 08:57:02 +0000 Subject: [PATCH] get docker image from ghcr, instead of building it locally --- .devcontainer/devcontainer.json | 9 ++------- README.md | 1 - 2 files changed, 2 insertions(+), 8 deletions(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 0eb28a7..0cc5fff 100644 --- 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 index d3a21b7..7f887ff 100644 --- 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 \ No newline at end of file