GitHub-Proxy/eigen
1
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2025-06-04 18:54:00 +08:00
Code Issues Packages Projects Releases Wiki Activity

improvements, especially: automatically flush the server side cache

Browse Source
This commit is contained in:
Benoit Jacob 2009-09-24 07:04:55 -04:00
parent a279a277e3
commit 64648b4b35
2 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.hgignore
View File

@ -20,4 +20,5 @@ CMakeCache.txt
tags tags
.*.swp .*.swp
activity.png activity.png
gmon.out *.out
*.php*

14
scripts/eigen_gen_credits
View File

@ -10,12 +10,20 @@
# configuration # configuration
USER='bjacob' USER='bjacob'
wget http://eigen.tuxfamily.org/index.php?title=ContributorsInfo -O online-info.out -o wget.log rm eigen_gen_credits.log
hg churn -r 37: --changesets -t {author} > churn-changesets.out
hg churn -r 37: -t {author} > churn-changedlines.out hg pull >> eigen_gen_credits.log
wget http://eigen.tuxfamily.org/index.php?title=ContributorsInfo -O online-info.out -a eigen_gen_credits.log
hg churn -r 37: --changesets -t {author} >> churn-changesets.out
hg churn -r 37: -t {author} >> churn-changedlines.out
g++ scripts/eigen_gen_credits.cpp -o e g++ scripts/eigen_gen_credits.cpp -o e
./e > credits.out ./e > credits.out
rsync credits.out $USER@ssh.tuxfamily.org:eigen/eigen.tuxfamily.org-web/htdocs/credits.out || (echo "upload failed"; exit 1) 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