From 15b476a4c6fedd90fad235c4070cb4bdabc972a0 Mon Sep 17 00:00:00 2001 From: Cyril Cohen Date: Fri, 5 Jan 2024 09:16:17 +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 7e35f2f..5b775ef 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 -it -v --rm cohencyril/trocq + docker run -it --rm cohencyril/trocq ``` - Start VSCode on the host and install the [Dev Containers](https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-containers) extension by running `code --install-extension ms-vscode-remote.remote-containers` or from the menus. - Click on the `><` button at the bottom left-hand corner of the window or press F1.