mirror of
https://github.com/wez/wezterm.git
synced 2024-09-19 18:57:59 +03:00
1e8ebdadfd
I lost a few hours over the weekend because the GH release uploads are flakey and the action I was using doesn't internally perform retries. I had to manually delete the failed uploads from the release and then re-trigger the builds across several platforms, several times for both of the releases I pushed this weekend :-/ This commit speculatively switches over to using the GH cli in the hopes that the error reporting is better, and also because it is simpler to externally drive a retry loop. Let's see how this goes.
19 lines
210 B
Bash
Executable File
19 lines
210 B
Bash
Executable File
#!/bin/bash
|
|
set -x
|
|
set -e
|
|
|
|
max_attempts=10
|
|
attempt=1
|
|
|
|
until "$@"
|
|
do
|
|
if (( attempt == max_attempts ))
|
|
then
|
|
echo "Failed after $max_attempts attempts"
|
|
exit 1
|
|
fi
|
|
|
|
sleep 5
|
|
: $(( attempt++ ))
|
|
done
|