tor-webwml.git

1) #!/bin/sh

2) set -e # stop if we encounter an error
3) 

4) # pull the latest changes
5) if [ -e .svn ] ; then
6) 	svn update
7) elif [ -e .git ] ; then
8) 	git svn rebase
9) else
10) 	echo 2>&1 "Cannot figure out which version control thing you're using.  Skipping update"
11) fi

12) 

13) # clean up the working directory
14) make clean

15) 

16) # actually build the site
17) make -j3

18) 

19) # don't copy over stuff with permissions that make it useless

20) chmod -R a+r *

21) rsync \
22) 	--exclude .DS_Store \
23) 	--exclude .svn \
24) 	--exclude .git \
25) 	--exclude '.*.sw[po]' \
26) 	--exclude .deps \
27) 	--exclude svn \
28) 	--exclude dist \
29) 	--exclude releases \
30) 	--exclude torbutton-current.xpi \
31) 	--exclude project \

32) 	-Prvz --delete . vescum:/srv/www-master.torproject.org/htdocs

33) 
34) echo "Forcing mirror update"

35) ssh vescum '