From 4c4f4be30bae96e6cd943de326b1a4b1b841dcd4 Mon Sep 17 00:00:00 2001
From: Saulc <lucas@debian>
Date: Sat, 13 Jan 2018 19:41:26 +0100
Subject: Initial commit

---
 .tools/retry.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 .tools/retry.sh

(limited to '.tools/retry.sh')

diff --git a/.tools/retry.sh b/.tools/retry.sh
new file mode 100755
index 00000000..aaa50e98
--- /dev/null
+++ b/.tools/retry.sh
@@ -0,0 +1,15 @@
+#!/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-60-g2f50