Skip to content

Commit

Permalink
Remove gazebo sourcing
Browse files Browse the repository at this point in the history
  • Loading branch information
Wiktor-99 committed Feb 7, 2024
1 parent 5a06e1b commit de80538
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion .devcontainer/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit de80538

Please sign in to comment.