dw/FFmpeg-Builds
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Make retry tool generic

Browse source
This commit is contained in:
BtbN 2022-07-13 01:46:13 +02:00
parent b7ca4432e1
commit d1dd644b80
6 changed files with 19 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

12
images/base/git-mini-clone.sh
View file

@ -6,17 +6,7 @@ DEST="$3"
git init "$DEST"
git -C "$DEST" remote add origin "$REPO"
RETRY_COUNTER=0
MAX_RETRY=15
while [[ $RETRY_COUNTER -lt $MAX_RETRY ]]; do
timeout 120 git -C "$DEST" fetch --depth=1 origin "$REF" && break || sleep 10
RETRY_COUNTER=$(( $RETRY_COUNTER + 1 ))
echo "Retry $RETRY_COUNTER..."
done
if [[ $RETRY_COUNTER -ge $MAX_RETRY ]]; then
echo "Max retry count exceeded."
exit 1
fi
retry-tool git -C "$DEST" fetch --depth=1 origin "$REF"
git -C "$DEST" config advice.detachedHead false
git -C "$DEST" checkout FETCH_HEAD

14
images/base/retry-tool.sh Executable file
View file

@ -0,0 +1,14 @@
#!/bin/bash
set -xe
RETRY_COUNTER=0
MAX_RETRY=15
while [[ $RETRY_COUNTER -lt $MAX_RETRY ]]; do
timeout 120 "$@" && break || sleep 10
RETRY_COUNTER=$(( $RETRY_COUNTER + 1 ))
echo "Retry $RETRY_COUNTER..."
done
if [[ $RETRY_COUNTER -ge $MAX_RETRY ]]; then
echo "Max retry count exceeded."
exit 1
fi