comparison: bin/homedir-setup
bin/homedir-setup
- changeset 850
- 5ebdbddeafde
- parent 849
- 9a6cb845e239
- child 964
- 72a7a0ffbce8
equal
deleted
inserted
replaced
| 849:9a6cb845e239 | 850:5ebdbddeafde |
|---|---|
| 18 | 18 |
| 19 clone_or_pull() { | 19 clone_or_pull() { |
| 20 if ! [ -d $2 ]; then | 20 if ! [ -d $2 ]; then |
| 21 git clone --depth 1 "$1" $2 | 21 git clone --depth 1 "$1" $2 |
| 22 else | 22 else |
| 23 echo "$1:" | 23 echo "$2:" |
| 24 git -C "$1" pull --no-tags | 24 git -C "$2" pull --no-tags |
| 25 fi | 25 fi |
| 26 } | 26 } |
| 27 | 27 |
| 28 clone_or_pull 'https://github.com/tarjoilija/zgen.git' .zgen | 28 clone_or_pull 'https://github.com/tarjoilija/zgen.git' .zgen |
| 29 | 29 |
