comparison: bin/homedir-setup
bin/homedir-setup
- changeset 285
- fefaa23c064c
- parent 275
- c636b6086bb2
- child 328
- b3b18ced6949
equal
deleted
inserted
replaced
| 284:faca1345ffc9 | 285:fefaa23c064c |
|---|---|
| 1 #!/bin/sh | 1 #!/bin/sh |
| 2 set -eu | 2 set -eu |
| 3 | 3 |
| 4 if [ ! -f .zshrc ]; then | |
| 5 echo "Refusing to run without a .zshrc nearby" >&2 | |
| 6 exit 1 | |
| 7 fi | |
| 8 | |
| 4 if ! git --version >/dev/null; then | 9 if ! git --version >/dev/null; then |
| 5 echo "Please install git!" | 10 echo "Please install git!" >&2 |
| 6 exit 1 | 11 exit 1 |
| 7 fi | 12 fi |
| 8 | 13 |
| 9 pull () { | 14 pull () { |
| 10 echo "$1:" | 15 echo "$1:" |
