2009-09-24 08:58:20 +08:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
# this script must be run from the eigen2/ directory.
|
|
|
|
|
# when running hg churn from the scripts/ subdir, i hit a divide-by-zero error in hg churn.
|
|
|
|
|
#
|
|
|
|
|
# like this:
|
|
|
|
|
# cd eigen2
|
|
|
|
|
# scripts/eigen_gen_credits
|
|
|
|
|
|
|
|
|
|
# configuration
|
|
|
|
|
USER='bjacob'
|
|
|
|
|
|
2009-09-24 19:04:55 +08:00
|
|
|
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
|
2009-09-24 19:18:31 +08:00
|
|
|
hg churn -r 37: --changesets -t {author} > churn-changesets.out
|
|
|
|
|
hg churn -r 37: -t {author} > churn-changedlines.out
|
2009-09-24 08:58:20 +08:00
|
|
|
|
|
|
|
|
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)
|
2009-09-24 19:04:55 +08:00
|
|
|
|
|
|
|
|
# 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
|
