diff options
| author | Charlie <root@dev.ws.local> | 2009-10-30 16:55:38 -0600 | 
|---|---|---|
| committer | Charlie <root@dev.ws.local> | 2009-10-30 16:55:38 -0600 | 
| commit | 2d1c3c34407d4f1ad97be02d8c3ab79f5209c710 (patch) | |
| tree | 8020ec83136149df32e3b56374635272ec36f000 | |
| parent | 880e0039c189c5b8266739b29a07f92d6c4e1d4c (diff) | |
Implement cgit support in our script
| -rwxr-xr-x | install-repos | 14 | 
1 files changed, 14 insertions, 0 deletions
diff --git a/install-repos b/install-repos index 92d7dbe..d070ba1 100755 --- a/install-repos +++ b/install-repos @@ -7,6 +7,8 @@ HOOKS="pre-receive"  dir=`dirname $0`  BASE=`realpath $dir` +echo "# This file is auto-generated" > $DIR/cgit-repo-rc +  for git in $REPOS; do  	if [ -d "$git" ]; then  		cd $git @@ -29,6 +31,18 @@ for git in $REPOS; do  		git config core.sharedRepository=0660 || true  		git config receive.denyNonFastforwards=true || true  		touch git-daemon-export-ok + +		# Add to cgit list +		( +			if [ -f cgit-repo-rc ]; then +			 	include=$git/cgit-repo-rc +			else +				echo "repo.url=$simple" +				echo "repo.path=$git" +				echo "repo.desc=$simple" +			fi +			echo +		) >> $DIR/cgit-repo-rc  	fi  done  | 
