--- git.orig 2008-05-07 15:54:28.000000000 +0200 +++ git 2008-05-07 16:09:12.000000000 +0200 @@ -7,16 +7,16 @@ # BRANCH: The branch of the repository to use # DESTINATION: The destination directory for the checked out repository -OLDPWD=$PWD export PAGER=cat +export GIT_DIR=.gitports # checks whether we got a valid repository (exit code will be 0, if the # repository is valid, otherwise 1) function checkValidRepository() { - if [ -d $DESTINATION/.git ] + if [ -d $DESTINATION/$GIT_DIR ] then cd $DESTINATION - if [ "$URL" == `git config --get remote.origin.url` ] + if [ "$URL" == "`git config --get remote.origin.url`" ] then return 0 fi @@ -63,6 +63,4 @@ git-checkout -q $BRANCH -cd $OLDPWD - echo "Finished successfully"