updated git_pull_make_repos.sh

pull/2/head
Hari Sekhon 5 years ago
parent e0903d0abc
commit 0d044c533d

@ -30,8 +30,8 @@ fi
repolist="${*:-${REPOS:-}}"
if [ -n "$repolist" ]; then
:
elif [ -f "$srcdir/repolist.txt" ]; then
repolist="$(sed 's/#.*//' < "$srcdir/repolist.txt")"
elif [ -f "$srcdir/lib/repolist.txt" ]; then
repolist="$(sed 's/#.*//' < "$srcdir/lib/repolist.txt")"
else
repolist="$(curl -sL https://raw.githubusercontent.com/HariSekhon/bash-tools/master/repolist.txt | sed 's/#.*//')"
fi

Loading…
Cancel
Save