view scripts/git-pull @ 1085:5ec278277aa4
draft
[peer2anonet] fix for ./scripts/add_ip (also include tinydns and tinydns)
author |
d3v11 <d3v11@d3v11.ano> |
date |
Tue, 19 Mar 2013 21:22:47 +0000 (2013-03-19) |
parents |
88c2bd1a286a |
children |
2f57d4d36759 |
line source
#!/bin/bash
if [ -z "$1" ]; then
echo './scripts/git-pull $PEER_NAME'
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"