diff --git a/scripts/git_proxy.sh b/scripts/git_proxy.sh index 8b137891..185c42e7 100644 --- a/scripts/git_proxy.sh +++ b/scripts/git_proxy.sh @@ -1 +1,21 @@ +#!/bin/bash +#repo=$1 +#path=$2 +git_clone(){ + for r in ${1[*]} + do + filename=$(echo $r | cut -d '/' -f 2) + for x in ${2[*]} + do + if [ -e $filename ]; then + echo "$filename was cloned successfully" + break + else + timeout -k 1 3 git clone $x/$r.git + fi + done + done +} + +git_clone