mirror/eigen
2
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2024-11-27 06:30:28 +08:00
Code Issues Packages Projects Releases Wiki Activity

finally, actually purge the Main Page

Browse Source
This commit is contained in:
Benoit Jacob 2009-10-02 11:22:47 -04:00
parent bcdeb68b63
commit 2b810ea818
1 changed files with 1 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
scripts/eigen_gen_credits
View File

@ -7,9 +7,6 @@
# cd eigen2
# scripts/eigen_gen_credits
# configuration
USER='orzel'
rm -f eigen_gen_credits.log
hg pull >> eigen_gen_credits.log
@ -23,7 +20,4 @@ g++ scripts/eigen_gen_credits.cpp -o e
./e > credits.out
rsync credits.out $USER@ssh.tuxfamily.org:eigen/eigen.tuxfamily.org-web/htdocs/credits.out || (echo "upload failed"; exit 1)
# clear the server-side cache for Main Page
wget "http://eigen.tuxfamily.org/index.php?title=Main_Page&action=purge" -O main-page.out -a eigen_gen_credits.log
rm main-page.out
ssh $USER@ssh.tuxfamily.org "cd eigen/eigen.tuxfamily.org-web/htdocs; chmod 666 credits.out; echo Main_Page | /usr/bin/php maintenance/purgeList.php"