]> https://gitweb.dealii.org/ - candi.git/commitdiff
candi: allow insecure ssl downloads for curl
authorUwe Köcher <koecher@hsu-hamburg.de>
Fri, 30 Oct 2015 15:29:35 +0000 (16:29 +0100)
committerUwe Köcher <koecher@hsu-hamburg.de>
Fri, 30 Oct 2015 15:29:35 +0000 (16:29 +0100)
candi.sh

index bcb0a9d03ef664398d3c22ba800034a2bef431dd..d1977ed17d1cf31fb810170e911782a4c495aebf 100755 (executable)
--- a/candi.sh
+++ b/candi.sh
@@ -216,7 +216,7 @@ download_archive () {
         # Download.
         # If curl or wget is failing, continue this loop for trying an other mirror.
         if [ ${DOWNLOADER} = "curl" ] && [ ${CURL_DOWNLOADER_AVAILABLE} = "true" ] ; then
-            curl -O ${url} || continue
+            curl -k -O ${url} || continue
         else
             wget --no-check-certificate ${url} -O ${ARCHIVE_FILE} || continue
         fi

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.