Hi, Another remark on the driver itself: On Tue, May 06, 2008 at 09:55:10 +0200, Richard Pöttler wrote: [...]
#!/bin/sh # # /etc/ports/drivers/git: git driver script for ports(8) #
OLDPWD=$PWD
if [ $# -ne 1 ] then echo "usage: $0 <file>" exit 1 fi
. $1
if [ ! -d $DESTINATION ] then # there was no initial clone git-clone $URL $DESTINATION cd $DESTINATION else # there was already a clone cd $DESTINATION git-fetch git-gc fi
git-checkout $BRANCH
There probably needs to be a revert before that, since otherwise locally modified files (Pkgfiles/md5sums/footprints/patches etc.) will be merged, which may not be desired. Regards, Johannes -- Johannes Winkelmann mailto:jw@smts.ch Zurich, Switzerland http://jw.smts.ch