aboutsummaryrefslogtreecommitdiffstats
path: root/tool/git-refresh
blob: e3aa1b0970f3ab5fb9a8ae6adc22e220a226536f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#!/bin/sh
set -e

quiet=
branch=

until [ $# = 0 ]; do
    case "$1" in
	--) shift; break;;
	-C|--directory) shift; cd "$1";;
	-C*) cd "${1#-C}";;
	--directory=*) cd "${1#*=}";;
	-q) quiet=1;;
	-b|--branch) shift; branch="$1";;
	-b*) branch="${1#-b}";;
	--branch=*) 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