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

fix permissions 666->660

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

6
scripts/eigen_gen_credits
View File

@ -1,11 +1,11 @@
#!/bin/sh #!/bin/sh
# this script must be run from the eigen2/ directory. # 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. # when running hg churn from the scripts/ subdir, i hit a divide-by-zero error.
# #
# like this: # like this:
# cd eigen2 # cd eigen2
# scripts/eigen_gen_credits # USER=yourtuxfamilyuser scripts/eigen_gen_credits
rm -f eigen_gen_credits.log rm -f eigen_gen_credits.log
@ -20,4 +20,4 @@ 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)
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" ssh $USER@ssh.tuxfamily.org "cd eigen/eigen.tuxfamily.org-web/htdocs; chmod 660 credits.out; echo Main_Page | /usr/bin/php maintenance/purgeList.php"