Skip to content

Commit

Permalink
force vcs import
Browse files Browse the repository at this point in the history
  • Loading branch information
woensug-choi committed Jun 17, 2024
1 parent 8915d8f commit d4a98dc
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 3 deletions.
3 changes: 2 additions & 1 deletion gz_install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -199,13 +199,14 @@ max_retries=3
# Start loop
for ((i=1;i<=max_retries;i++)); do
# Try to import the repositories
if vcs import --shallow --retry 0 \
if vcs import --force --shallow --retry 0 \
--input https://raw.githubusercontent.com/gazebo-tooling/gazebodistro/master/collection-harmonic.yaml src;
then
echo -e "\033[36m\n>Gazebo Harmonic Code Import Successful\033[0m"
break
else
echo -e "\033[31m\nGazebo Harmonic Source Code Import failed, retrying ($i/$max_retries)\033[0m"
echo -e "\033[33mSTART---------------------------------- DOWNLOADING... ---------------------------------------------END\033[0m"
fi
# If we've reached the max number of retries, exit the script
if [ $i -eq $max_retries ]; then
Expand Down
4 changes: 2 additions & 2 deletions install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -319,19 +319,19 @@ echo -e "If you see 'E' in the progress, it means the download failed (slow conn
echo -e "If it takes too long, please check your network connection and try again. To cancel, Ctrl+C."
echo -e "\033[33mSTART---------------------------------- DOWNLOADING... ---------------------------------------------END\033[0m"


# Define maximum number of retries
max_retries=3
# Start loop
for ((i=1;i<=max_retries;i++)); do
# Try to import the repositories
if vcs import --shallow --retry 0 \
if vcs import --force --shallow --retry 0 \
--input https://raw.githubusercontent.com/ros2/ros2/$JAZZY_RELEASE_TAG/ros2.repos src;
then
echo -e "\033[36m\n>ROS2 Jazzy Source Code Import Successful\033[0m"
break
else
echo -e "\033[31m\nROS2 Jazzy Source Code Import failed, retrying ($i/$max_retries)\033[0m"
echo -e "\033[33mSTART---------------------------------- DOWNLOADING... ---------------------------------------------END\033[0m"
fi
# If we've reached the max number of retries, exit the script
if [ $i -eq $max_retries ]; then
Expand Down

0 comments on commit d4a98dc

Please sign in to comment.