diff --git a/scripts/pgit.sh b/scripts/pgit.sh index 04f87adc..e6703176 100644 --- a/scripts/pgit.sh +++ b/scripts/pgit.sh @@ -41,6 +41,7 @@ run() config cd $pdir + set -e for d in $pdirs; do marker $d git -C $d $cmd "$@" @@ -59,6 +60,7 @@ clone() projects=`$SSH git.jannet.de /opt/ytools/bin/git-srv-admin.sh -u $id -j list-personal-projects` [ "$?" != 0 ] && exit 1 fi + set -e for p in $projects; do [ -d $p ] && { marker "skipping existing $p"