diff options
| author | cathugger <cathugger@cock.li> | 2017-03-10 03:30:16 +0000 |
|---|---|---|
| committer | cathugger <cathugger@cock.li> | 2017-03-10 03:30:16 +0000 |
| commit | 7e5469a0dee1fbaf661720fc330d47d992f1d8fe (patch) | |
| tree | d5f8a16a1ae8e390103e35a77d975e3157115236 /scripts/git-pull | |
| parent | 9ec38bd2c56d112e49360c4f8be92900c998205c (diff) | |
| download | resdb-7e5469a0dee1fbaf661720fc330d47d992f1d8fe.tar.gz resdb-7e5469a0dee1fbaf661720fc330d47d992f1d8fe.zip | |
add muh nameserver, some script tweaks
Diffstat (limited to 'scripts/git-pull')
| -rwxr-xr-x | scripts/git-pull | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/scripts/git-pull b/scripts/git-pull index 260c33b..449d6a8 100755 --- a/scripts/git-pull +++ b/scripts/git-pull @@ -1,7 +1,6 @@ -#!/bin/bash +#!/bin/sh if [ -z "$1" ]; then - echo './scripts/git-pull $PEER_NAME' + echo "Usage: $0 \$PEER_NAME" >&2 exit 1 fi -[ -e db/usr/"$1"/git ] && git pull `cat db/usr/"$1"/git` master -[ -e db/usr/"$1"/git ] || echo "./git-pull: record does not exist for $1" +[ -e db/usr/"$1"/git ] && git pull `cat db/usr/"$1"/git` master || echo "$0: record does not exist for $1" >&2 |