From de80538560e6f3a85b2155914c963ec6b12b07e1 Mon Sep 17 00:00:00 2001 From: Wiktor Bajor Date: Wed, 7 Feb 2024 19:34:29 +0100 Subject: [PATCH] Remove gazebo sourcing --- .devcontainer/Dockerfile | 1 - 1 file changed, 1 deletion(-) 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