diff scripts/git-pull @ 1193:2f57d4d36759 draft

add muh nameserver, some script tweaks
author cathugger <cathugger@cock.li>
date Fri, 10 Mar 2017 03:30:16 +0000
parents 88c2bd1a286a
children
line wrap: on
line diff
--- a/scripts/git-pull	Fri Mar 10 01:12:23 2017 +0000
+++ b/scripts/git-pull	Fri Mar 10 03:30:16 2017 +0000
@@ -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