tor-webwml.git

1) #!/bin/sh

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

4) make clean # clean cruft
5) 
6) svn update # get changes
7) 
8) make -j3 # abuse the cores

9) 

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

11) chmod a+r * -R

12) rsync --exclude .svn --exclude .deps --exclude svn --exclude dist --exclude releases --exclude torbutton-current.xpi --exclude project -Prvz --delete . vescum.torproject.org:/srv/www-master.torproject.org/htdocs

13) 
14) echo "Forcing mirror update"