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.