summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLeah Rowe <leah@libreboot.org>2024-07-17 16:55:05 +0100
committerLeah Rowe <leah@libreboot.org>2024-07-17 16:55:05 +0100
commit0cd52fc7fda7557079cdbe1e107e6448e00a0ada (patch)
tree0d3b675f5e39a4e39a093ecfd380e7adca00acb6
parent0b9cd77fe7ff6ded9425f12f3651615e1863aa87 (diff)
git.sh: re-try git pull three times
mitigate jittery internet connections Signed-off-by: Leah Rowe <leah@libreboot.org>
-rw-r--r--include/git.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/include/git.sh b/include/git.sh
index 0de4c931..ba58a5ba 100644
--- a/include/git.sh
+++ b/include/git.sh
@@ -103,7 +103,8 @@ tmpclone()
repodir="repo/${1##*/}"
x_ mkdir -p "repo"
if [ -d "$repodir" ]; then
- git -C "$repodir" pull || :
+ git -C "$repodir" pull || sleep 3 || git -C "$repodir" pull \
+ || sleep 3 || git -C "$repodir" pull :
else
git clone $1 "$repodir" || git clone $2 "$repodir" || \
$err "!clone $1 $2 $repodir $4 $5"