From bb6040c5ffd9edbe61732cb86bb9dcc4582226f4 Mon Sep 17 00:00:00 2001 From: Saulc Date: Sat, 2 May 2020 22:07:35 +0000 Subject: creat repo --- .tools/retry.sh | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100755 .tools/retry.sh (limited to '.tools/retry.sh') 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 -- cgit v1.2.3-70-g09d2