comparison: bin/homedir-setup
bin/homedir-setup
- changeset 966
- e1132c1cce12
- parent 965
- f1e5d30543ba
- child 967
- 9314317ed18f
equal
deleted
inserted
replaced
11 exit 1 |
11 exit 1 |
12 fi |
12 fi |
13 |
13 |
14 clone_or_pull() { |
14 clone_or_pull() { |
15 if ! [ -d $2 ]; then |
15 if ! [ -d $2 ]; then |
16 git clone --depth 1 "$1" $2 |
16 git clone --single-branch --depth 1 "$1" $2 |
17 else |
17 else |
18 echo "$2:" |
18 echo "$2:" |
19 git -C "$2" pull --no-tags |
19 git -C "$2" pull |
20 fi |
20 fi |
21 } |
21 } |
22 |
22 |
23 clone_or_pull 'https://github.com/tarjoilija/zgen.git' .zgen |
23 clone_or_pull 'https://github.com/tarjoilija/zgen.git' .zgen |
24 |
24 |