Re: [crux-devel] git ports(8) driver

7 May 2008


      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:jw@smts.ch
Zurich, Switzerland              http://jw.smts.ch