clone

   1 #! /bin/sh
   2
   3 if [ -z "$1" -o -n "$3" ]; then
   4    echo "Usage: $0 origin [local]" >&2
   5    exit 1
   6 fi
   7
   8 origin="$1"
   9 local_repo="$2"
  10 test -z "$local_repo" && local_repo="`basename \"$origin\" .git`"
  11
  12 if [ -d "$local_repo"/.git ]; then
  13    cd "$local_repo"
  14 fi &&
  15
  16 if [ -d .git ]; then
  17    git remote set-url origin "$origin"
  18 else
  19    git clone -o origin "$origin" "$local_repo" &&
  20    cd "$local_repo" &&
  21    chmod a-x .git/config
  22 fi &&
  23
  24 "`dirname \"$0\"`"/set-commit-date-recursive &&
  25 pwd >> "`dirname \"$0\"`"/locate-all.list &&
  26 branch="`git rev-parse --abbrev-ref HEAD`"
  27
  28 git config push.default current &&
  29 exec git gc --aggressive