I got one more: 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 ] ^ this should probably also check for $DESTINATION/.git/ , and whether $DESTINATION/.git/config (or `git config --get remote.origin.url`) matches $URL. I'm not quite sure what to if one of the two fail, we could just get rid of the current content in $DESTINATION and clone, or fail with an error. In any case this should probably be handled.
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
