view scripts/git-pull @ 1222:63b38b91fdc3 draft

move 21.0.0.0->21.0.0.1 because some shit can't handle 21.0.0.0
author cathugger <cathugger@cock.li>
date Thu, 06 Sep 2018 21:00:45 +0000
parents 2f57d4d36759
children
line wrap: on
line source

#!/bin/sh
if [ -z "$1" ]; then
    echo "Usage: $0 \$PEER_NAME" >&2
    exit 1
fi
[ -e db/usr/"$1"/git ] && git pull `cat db/usr/"$1"/git` master || echo "$0: record does not exist for $1" >&2