From 1f483e80b210a76716776600b1dddf46483585ba Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Thu, 4 Jan 2024 23:07:05 +0100 Subject: [PATCH] Update GETTING_STARTED.md --- artifact-clean/GETTING_STARTED.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/artifact-clean/GETTING_STARTED.md b/artifact-clean/GETTING_STARTED.md index 3d81c39..3c9dd57 100644 --- a/artifact-clean/GETTING_STARTED.md +++ b/artifact-clean/GETTING_STARTED.md @@ -9,7 +9,7 @@ In this set-up, the reader considers this code mainly as the artifact for our pa Here are the instructions: - Run a Docker container from this image and leave this terminal on the side. ```shell - docker run -d bash cohencyril/trocq + docker run -d cohencyril/trocq ``` - Start VSCode on the host and install the [Dev Containers](https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers) extension or run `code --install-extension ms-vscode-remote.remote-containers` - Click on the `><` button at the bottom left-hand corner of the window.