From 7e5469a0dee1fbaf661720fc330d47d992f1d8fe Mon Sep 17 00:00:00 2001 From: cathugger Date: Fri, 10 Mar 2017 03:30:16 +0000 Subject: add muh nameserver, some script tweaks --- scripts/git-pull | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'scripts/git-pull') 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 -- cgit v1.2.3