bin/fetchgit.sh

   1 #!/bin/sh
   2 # Check out or update a GIT repository
   3
   4 URL=$1
   5 DIR=$2
   6 TAG=$3
   7 TARBALL=$4
   8 NAME=$5
   9
  10 # If the base git directory doesn't exist, then we need to clone it
  11
  12 if [ ! -d $DIR/.git ]; then
  13         echo "Cloning $URL..."
  14         git-clone $URL $DIR
  15         if [ $? -ne 0 ]; then
  16                 echo "Couldn't clone $URL."
  17                 exit 1
  18         fi
  19 fi
  20
  21 # Fetch the latest and greatest bits
  22
  23 export GIT_DIR=$DIR/.git
  24
  25 git-fetch $URL
  26 git-fetch --tags $URL
  27 git-prune-packed
  28 git-pack-redundant --all | xargs -r rm
  29
  30 # Make the tarball
  31 git-tar-tree $TAG $NAME-$TAG | bzip2 > $TARBALL