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:[EMAIL PROTECTED] Zurich, Switzerland http://jw.smts.ch _______________________________________________ crux-devel mailing list crux-devel@lists.crux.nu http://lists.crux.nu/mailman/listinfo/crux-devel