diff options
| author | Saulc <lucashelaine14@gmail.com> | 2020-05-02 22:07:35 +0000 |
|---|---|---|
| committer | Saulc <lucashelaine14@gmail.com> | 2020-05-02 22:07:35 +0000 |
| commit | bb6040c5ffd9edbe61732cb86bb9dcc4582226f4 (patch) | |
| tree | 4b825dc642cb6eb9a060e54bf8d69288fbee4904 /.tools/retry.sh | |
| parent | 9721d621c82c87c136ab959ecd44d2954e99ee80 (diff) | |
| download | art-bb6040c5ffd9edbe61732cb86bb9dcc4582226f4.tar.gz art-bb6040c5ffd9edbe61732cb86bb9dcc4582226f4.tar.bz2 art-bb6040c5ffd9edbe61732cb86bb9dcc4582226f4.tar.xz art-bb6040c5ffd9edbe61732cb86bb9dcc4582226f4.zip | |
creat repo
Diffstat (limited to '.tools/retry.sh')
| -rwxr-xr-x | .tools/retry.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/.tools/retry.sh b/.tools/retry.sh deleted file mode 100755 index aaa50e98..00000000 --- a/.tools/retry.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/bash - -n=0 - -while true; do - $* - if [ "$?" == 0 ]; then - exit 0 - fi - if [[ $n -ge 10 ]]; then - exit -1 - fi - sleep 5s - n=$((n+1)) -done |