mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00
c73db5c172
* tool/git-refresh: tool to clone or update git working directory. * Makefile.in: use git-refresh. git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@58217 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
43 lines
802 B
Bash
Executable file
43 lines
802 B
Bash
Executable file
#!/bin/sh
|
|
set -e
|
|
|
|
quiet=
|
|
branch=
|
|
OPT_SPEC="\
|
|
${0##*/} [options] URL dir [options]
|
|
--
|
|
C=directory Change directory
|
|
q,quiet Quiet
|
|
b,branch=branch Checkout branch
|
|
"
|
|
rev="$(echo "$OPT_SPEC" | git rev-parse --parseopt -- "$@")"
|
|
status=$?
|
|
eval "$rev"
|
|
[ $status = 0 ] || exit $status
|
|
|
|
until [ $# = 0 ]; do
|
|
case "$1" in
|
|
--) shift; break;;
|
|
-C) shift; cd "$1";;
|
|
-q) quiet=1;;
|
|
-b) shift; branch="$1";;
|
|
-*) echo "unknown option: $1" 1>&2; exit 1;;
|
|
*) break;;
|
|
esac
|
|
shift
|
|
done
|
|
|
|
url="$1"
|
|
dir="$2"
|
|
shift 2
|
|
if [ -d "$dir" ]; then
|
|
echo updating "${dir#*/}" ...
|
|
[ $quiet ] || set -x
|
|
cd "$dir"
|
|
git fetch "$@"
|
|
exec git checkout ${branch:+"$branch"} "$@"
|
|
else
|
|
echo retrieving "${dir#*/}" ...
|
|
[ $quiet ] || set -x
|
|
exec git clone "$url" "$dir" "$@"
|
|
fi
|