diff options
| author | Leah Rowe <leah@libreboot.org> | 2024-07-17 16:55:05 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2024-07-17 16:55:05 +0100 |
| commit | 0cd52fc7fda7557079cdbe1e107e6448e00a0ada (patch) | |
| tree | 0d3b675f5e39a4e39a093ecfd380e7adca00acb6 /include/git.sh | |
| parent | 0b9cd77fe7ff6ded9425f12f3651615e1863aa87 (diff) | |
git.sh: re-try git pull three times
mitigate jittery internet connections
Signed-off-by: Leah Rowe <leah@libreboot.org>
Diffstat (limited to 'include/git.sh')
| -rw-r--r-- | include/git.sh | 3 |
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" |