diff --git a/deploy/dev/Dockerfile b/deploy/dev/Dockerfile index 75494d7d842739aeb1b3d69c5ca7f476b68e10bb..0b02246cdbe319fb172865eba2267c60aafa9e8e 100644 --- a/deploy/dev/Dockerfile +++ b/deploy/dev/Dockerfile @@ -19,9 +19,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