diff --git a/deploy/dev/Dockerfile b/deploy/dev/Dockerfile index 84500fcad97ce11bbde475c7c40c26f015458809..8d1f938b55b5ef9b06fcedeafcaed4659e98ad5f 100644 --- a/deploy/dev/Dockerfile +++ b/deploy/dev/Dockerfile @@ -20,9 +20,9 @@ RUN apt-get update -qq && apt-get install -y -qq --no-install-recommends \ RUN echo "alias code='code --user-data-dir /root'" >> /root/.bashrc RUN code --user-data-dir /root \ - --install-extension ajshort.ros \ + --install-extension ms-iot.vscode-ros \ --install-extension joaompinto.asciidoctor-vscode \ --install-extension ms-python.python \ --install-extension ms-vscode.cpptools \ - --install-extension peterjausovec.vscode-docker \ + --install-extension ms-azuretools.vscode-docker \ --install-extension twxs.cmake