diff options
| author |  Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-09-24 07:04:55 -0400 |
|---|---|---|
| committer | Benoit Jacob <jacob.benoit.1@gmail.com> | 2009-09-24 07:04:55 -0400 |
| commit | 64648b4b355af5f021d29ae476f6308b4a0ac8ea (patch) | |
| tree | 19195faff989d55670e1e324012abf14f7a6f1d4 /scripts | |
| parent | a279a277e32fad9cce8b39b506bbcdb0ba421948 (diff) | |
improvements, especially: automatically flush the server side cache
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/eigen_gen_credits | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/scripts/eigen_gen_credits b/scripts/eigen_gen_credits index ec31da33c..a7adce1cc 100755 --- a/scripts/eigen_gen_credits +++ b/scripts/eigen_gen_credits @@ -10,12 +10,20 @@ # configuration USER='bjacob' -wget http://eigen.tuxfamily.org/index.php?title=ContributorsInfo -O online-info.out -o wget.log -hg churn -r 37: --changesets -t {author} > churn-changesets.out -hg churn -r 37: -t {author} > churn-changedlines.out +rm eigen_gen_credits.log + +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 ./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 |