updated git_repos.sh

pull/2/head
Hari Sekhon 4 years ago
parent 4bba17c1ec
commit b3bd85777a

@ -18,6 +18,6 @@ set -euo pipefail
[ -n "${DEBUG:-}" ] && set -x
srcdir="$(cd "$(dirname "$0")" && pwd)"
repofile="$srcdir/setup/repolist.txt"
repofile="$srcdir/setup/repos.txt"
sed 's/#.*//; s/.*://; /^[[:space:]]*$/d' < "$repofile"

Loading…
Cancel
Save