From 0d21f6195c842113904096a7f79229520186b4d4 Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Fri, 5 Oct 2018 17:26:31 +0200 Subject: [PATCH] change mirror 1. url at clemson changed 2. also add tjhei.info (which redirects to clemson for now, but allows me to change it --- candi.cfg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/candi.cfg b/candi.cfg index fb4adbf..a684ceb 100644 --- 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 -- 2.39.5