install: Add retry in curl command

Signed-off-by: Patrick José Pereira <[email protected]>
ericjohnson97 · May 24, 2023 · 4d577c4 · 4d577c4
1 parent bf9a3c3
commit 4d577c4
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/install/boards/bcm_27xx.sh b/install/boards/bcm_27xx.sh
@@ -7,6 +7,7 @@ GITHUB_REPOSITORY=${GITHUB_REPOSITORY:-bluerobotics/blueos-docker}
 REMOTE="${REMOTE:-https://raw.githubusercontent.com/${GITHUB_REPOSITORY}}"
 ROOT="$REMOTE/$VERSION"
 CMDLINE_FILE=/boot/cmdline.txt
+alias curl="curl --retry 6 --max-time 15 --retry-all-errors"
 
 # Download, compile, and install spi0 mosi-only device tree overlay for
 # neopixel LED on navigator board

diff --git a/install/boards/configure_board.sh b/install/boards/configure_board.sh
@@ -6,6 +6,7 @@ GITHUB_REPOSITORY=${GITHUB_REPOSITORY:-bluerobotics/blueos-docker}
 REMOTE="${REMOTE:-https://raw.githubusercontent.com/${GITHUB_REPOSITORY}}"
 ROOT="$REMOTE/$VERSION"
 CONFIGURE_BOARD_PATH="$ROOT/install/boards"
+alias curl="curl --retry 6 --max-time 15 --retry-all-errors"
 
 function board_not_detected {
     echo "Hardware not identified in $1, please report back the following line:"

diff --git a/install/install.sh b/install/install.sh
@@ -5,6 +5,7 @@ VERSION="${VERSION:-master}"
 GITHUB_REPOSITORY=${GITHUB_REPOSITORY:-bluerobotics/blueos-docker}
 REMOTE="${REMOTE:-https://raw.githubusercontent.com/${GITHUB_REPOSITORY}}"
 ROOT="$REMOTE/$VERSION"
+alias curl="curl --retry 6 --max-time 15 --retry-all-errors"
 
 # Additional options
 DO_BOARD_CONFIG=1 # default to do the board config

diff --git a/install/network/avahi.sh b/install/network/avahi.sh
@@ -5,6 +5,7 @@ GITHUB_REPOSITORY=${GITHUB_REPOSITORY:-bluerobotics/blueos-docker}
 REMOTE="${REMOTE:-https://raw.githubusercontent.com/${GITHUB_REPOSITORY}}"
 REMOTE="$REMOTE/$VERSION"
 CONFIGURE_NETWORK_PATH="$REMOTE/install/network"
+alias curl="curl --retry 6 --max-time 15 --retry-all-errors"
 
 # Exit if something goes wrong
 set -e