pre-commit

Edwardius · Edwardius · commit 9868d383ca95 · 2025-09-20T15:07:02.000-04:00
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
@@ -104,4 +104,3 @@ USER $USERNAME
 
 # Source ROS in user's bashrc
 RUN echo "source /opt/ros/${ROS_DISTRO}/setup.bash" >> /home/$USERNAME/.bashrc
-

Original file line number	Diff line number	Diff line change
`@@ -104,4 +104,3 @@ USER $USERNAME`
`104`	`104`
`105`	`105`	`# Source ROS in user's bashrc`
`106`	`106`	`RUN echo "source /opt/ros/${ROS_DISTRO}/setup.bash" >> /home/$USERNAME/.bashrc`
`107`		`-`