Skip to content

Commit

Permalink
Update GETTING_STARTED.md
Browse files Browse the repository at this point in the history
  • Loading branch information
CohenCyril authored Jan 4, 2024
1 parent a6198b6 commit 1f483e8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion artifact-clean/GETTING_STARTED.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 1f483e8

Please sign in to comment.