Skip to content

Commit d2ad8d9

Browse files
authored
update naming in documentation of extension dev container (#721)
2 parents 1160ddf + 1343936 commit d2ad8d9

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 [email protected]:bit-bots/bitbots_main.git` or `git clone https://github.com/bit-bots/bitbots_main.git && git remote set-url origin [email protected]: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)