Skip to content

Commit 1343936

Browse files
committed
update name of dev container in docu
1 parent 1160ddf commit 1343936

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

bitbots_misc/bitbots_docs/docs/manual/tutorials/vscode-dev-container.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ Setup VSCode Dev Container
2222

2323
1. Clone the repository: `git clone git@github.com:bit-bots/bitbots_main.git` or `git clone https://github.com/bit-bots/bitbots_main.git && git remote set-url origin git@github.com:bit-bots/bitbots_main.git` if you don't have an SSH key setup yet.
2424
2. Open the repository in VSCode
25-
3. Install the "Remote - Containers" extension
25+
3. Install the "Dev - Containers" extension
2626
4. Click on the green icon in the bottom left corner of the window and select "Reopen in Container"
2727
5. Wait for the container to build and start
2828
6. Open a terminal in VSCode, you should see a number of instructions on how to setup the container. Follow them.

0 commit comments

Comments
 (0)