1 files changed, 42 insertions, 0 deletions
diff --git a/.tools/init.sh b/.tools/init.sh
new file mode 100755
index 00000000..6a9d408a
--- /dev/null
+++ b/.tools/init.sh
@@ -0,0 +1,42 @@
+#!/bin/bash
+
+function gitclone {
+    git clone $*
+    if [ "$?" != 0 ]; then
+        sleep 1s
+        git clone $*
+        if [ "$?" != 0 ]; then
+            sleep 3s
+            git clone $*
+        fi
+    fi
+}
+
+function aptget_update {
+    apt-get update
+    if [ "$?" != 0 ]; then
+        sleep 1s
+        apt-get update
+        if [ "$?" != 0 ]; then
+            sleep 1s
+            apt-get update
+        fi
+    fi
+}
+
+function aptget_install {
+    apt-get -y -qq install $*
+    if [ "$?" != 0 ]; then
+        sleep 1s
+        apt-get -y -qq install $*
+        if [ "$?" != 0 ]; then
+            sleep 2s
+            apt-get -y -qq install $*
+        fi
+    fi
+}
+
+function clientdata_init {
+    cd ..
+    ln -s clientdata client-data
+}