From faa401530083f740b1dba63dcaa5b1987d0ee95f Mon Sep 17 00:00:00 2001
From: Hari Sekhon <harisekhon@gmail.com>
Date: Fri, 18 Oct 2019 14:41:30 +0100
Subject: [PATCH] updated git_update_repos.sh

---
 git_update_repos.sh | 33 +++++++++++++++++++++------------
 1 file changed, 21 insertions(+), 12 deletions(-)

diff --git a/git_update_repos.sh b/git_update_repos.sh
index 47fdcdbe..042d4d29 100755
--- a/git_update_repos.sh
+++ b/git_update_repos.sh
@@ -25,11 +25,26 @@ mkdir -pv "$git_base_dir"
 
 cd "$git_base_dir"
 
+repofile="$srcdir/setup/repolist.txt"
+
+if [ $# -gt 0 ]; then
+    repolist="$*"
+else
+    repolist="${*:-${REPOS:-}}"
+    if [ -n "$repolist" ]; then
+        :
+    elif [ -f "$repofile" ]; then
+        echo "processing repos from file: $repofile"
+        repolist="$(sed 's/#.*//; /^[[:space:]]*$/d' < "$repofile")"
+    else
+        echo "fetching repos from GitHub repo list"
+        repolist="$(curl -sL https://raw.githubusercontent.com/HariSekhon/bash-tools/master/setup/repolist.txt | sed 's/#.*//')"
+    fi
+fi
+
 run(){
-    local repofile="$1"
-    echo "processing repos from file: $repofile"
-    echo
-    while read -r repo; do
+    local repolist="$*"
+    for repo in $repolist; do
         repo_dir="${repo##*/}"
         repo_dir="${repo_dir##*:}"
         repo="${repo%%:*}"
@@ -51,13 +66,7 @@ run(){
         else
             git clone "$git_url/$repo" "$repo_dir"
         fi
-    done < <(sed 's/#.*//; /^[[:space:]]*$/d' < "$repofile")
+    done
 }
 
-if [ $# -gt 0 ]; then
-    for x in "$@"; do
-        run "$x"
-    done
-else
-    run "$srcdir/setup/repolist.txt"
-fi
+run "$repolist"