]> https://gitweb.dealii.org/ - candi.git/commitdiff
change mirror 97/head
authorTimo Heister <timo.heister@gmail.com>
Fri, 5 Oct 2018 15:26:31 +0000 (17:26 +0200)
committerTimo Heister <timo.heister@gmail.com>
Fri, 5 Oct 2018 15:26:31 +0000 (17:26 +0200)
1. url at clemson changed
2. also add tjhei.info (which redirects to clemson for now, but allows
me to change it

candi.cfg

index fb4adbfc02bd0888282414dddc7267dc110a0e11..a684ceba07d9b7eb0695d49e673335b35636800a 100644 (file)
--- a/candi.cfg
+++ b/candi.cfg
@@ -22,7 +22,7 @@ INSTALL_PATH=${PREFIX_PATH}
 # Set up mirror server url(s), to speed up downloads, e.g.
 #   MIRROR="${MIRROR} http://server1.org/package_mirror_dir/"
 #   MIRROR="${MIRROR} ftp://server2.org/package_mirror_dir/"
-MIRROR="https://www.ces.clemson.edu/dealii/mirror/"
+MIRROR="https://tjhei.info/candi-mirror/ https://cecas.clemson.edu/dealii/mirror/"
 
 #########################################################################
 #Choose configuration and components of deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.