]> git.phdru.name Git - phdru.name/phdru.name.git/blob - update-all
projects / phdru.name / phdru.name.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Fix(phd.py): Change URL for Lurk
[phdru.name/phdru.name.git] / update-all
1 #! /bin/sh
2
3 git diff --quiet web/master master ||
4 git push web master || exit 1
5
6 cd "`dirname \"$0\"`"/.. &&
7 distribute -aD phdru.name &&
8
9 cd htdocs &&
10 exec distribute -aD git.phdru.name phdru.name
Scripts I use to manage phdru.name.