#! /bin/sh
-if [ -z "$1" ]; then
- echo "Usage: $0 origin" >&2
+if [ -z "$1" -o -n "$3" ]; then
+ echo "Usage: $0 origin [local]" >&2
exit 1
fi
origin="$1"
-local_repo="`basename \"$origin\" .git`"
+local_repo="$2"
+test -z "$local_repo" && local_repo="`basename \"$origin\" .git`"
if [ -d "$local_repo"/.git ]; then
cd "$local_repo"
git remote set-url origin "$origin"
else
git clone -o origin "$origin" "$local_repo" &&
- cd "$local_repo"
+ cd "$local_repo" &&
+ chmod a-x .git/config
fi &&
+"`dirname \"$0\"`"/set-commit-date-recursive &&
pwd >> "`dirname \"$0\"`"/locate-all.list &&
-
-chmod a-x .git/config &&
branch="`git rev-parse --abbrev-ref HEAD`"
git config push.default current &&