annotate scripts/git-pull @ 1165:6395f11f9649 draft

Merge git://1.41.41.1/
author Ivo Smits <Ivo@UCIS.nl>
date Tue, 18 Mar 2014 00:05:14 +0100
parents 88c2bd1a286a
children 2f57d4d36759
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
825
88c2bd1a286a added scripts/git-pull :-).
d3v11 <d3v11@d3v11.ano>
parents:
diff changeset
1 #!/bin/bash
88c2bd1a286a added scripts/git-pull :-).
d3v11 <d3v11@d3v11.ano>
parents:
diff changeset
2 if [ -z "$1" ]; then
88c2bd1a286a added scripts/git-pull :-).
d3v11 <d3v11@d3v11.ano>
parents:
diff changeset
3 echo './scripts/git-pull $PEER_NAME'
88c2bd1a286a added scripts/git-pull :-).
d3v11 <d3v11@d3v11.ano>
parents:
diff changeset
4 exit 1
88c2bd1a286a added scripts/git-pull :-).
d3v11 <d3v11@d3v11.ano>
parents:
diff changeset
5 fi
88c2bd1a286a added scripts/git-pull :-).
d3v11 <d3v11@d3v11.ano>
parents:
diff changeset
6 [ -e db/usr/"$1"/git ] && git pull `cat db/usr/"$1"/git` master
88c2bd1a286a added scripts/git-pull :-).
d3v11 <d3v11@d3v11.ano>
parents:
diff changeset
7 [ -e db/usr/"$1"/git ] || echo "./git-pull: record does not exist for $1"