project-dirs.mk / pgit.sh: Add support for offlining projects

This adds support for the variable OFFLINE_PROJECTS in projects-dir.mk and the
PGIT_IGNORE environment variable. Both go hand in hand and do what their names
insinuate. OFFLINE_PROJECTS is initialized from EXCLUDE_FROM_BUILD, which in
turn is initialized from exclude.txt and friends.

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2020-05-10 08:07:22 +00:00
commit 5e9168480a
2 changed files with 9 additions and 0 deletions

View file

@ -113,6 +113,7 @@ clone()
local toref=${refspec[2]}
local login=$JANWARE_USER
local projects="$PGIT_CLONE_PROJECTS"
local ignore="$PGIT_IGNORE"
[ "$login" ] || login=`whoami`
[ "$fromuser" ] || fromuser=`whoami`
[ "$fromref" ] || fromref=master
@ -124,6 +125,9 @@ clone()
n_projects=`echo $projects | wc -w`
if [ "$PGIT_KEEP_GOING" != y ]; then set -e; fi
for p in $projects; do
if echo $ignore | grep -q "\b$p\b"; then
continue
fi
cur=`expr $cur + 1`
local pullurl=ssh://$login@git.janware.com/srv/git/$fromuser/proj/$p
local pushurl=ssh://$login@git.janware.com/srv/git/$login/proj/$p