Skip to content

Commit

Permalink
copy external repos
Browse files Browse the repository at this point in the history
  • Loading branch information
@ibrahimhroob
ibrahimhroob committed Nov 3, 2024
1 parent ce15d2e commit 2cf8329
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .devcontainer/docker_include/user_install.dockerfile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ ENV GIT_LFS_SKIP_SMUDGE=1
USER $USER

# Install external repos
COPY .devcontainer/repos ${COLCON_WS}/src/repos
COPY .devcontainer/repos/external.repos ${COLCON_WS}/src/repos/external.repos
# Copy the script to checkout public git repos and make it executable
COPY .devcontainer/scripts/install_external_ros_packages.sh ${COLCON_WS}/src/install_external_ros_packages.sh
# Make the script executable and run it, then remove it
Expand Down

0 comments on commit 2cf8329

Please sign in to comment.