diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index f6d15ef..0f4e57d 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -16,5 +16,4 @@ ENV DEBIAN_FRONTEND=dialog # Set up auto-source of workspace for ros user ARG WORKSPACE RUN echo "if [ -f ${WORKSPACE}/install/setup.bash ]; then source ${WORKSPACE}/install/setup.bash; fi" >> /home/ros/.bashrc -RUN "source /usr/share/gazebo/setup.sh" RUN pip3 install pre-commit