updated git_update_repos.sh

pull/2/head
Hari Sekhon 5 years ago
parent 51fe807799
commit 95a41eddc4

@ -28,6 +28,7 @@ cd "$git_base_dir"
run(){ run(){
local repofile="$1" local repofile="$1"
echo "processing repos from file: $repofile" echo "processing repos from file: $repofile"
echo
while read -r repo; do while read -r repo; do
repo_dir="${repo##*/}" repo_dir="${repo##*/}"
repo_dir="${repo_dir##*:}" repo_dir="${repo_dir##*:}"

Loading…
Cancel
Save