From 85b939a890be7322926473d0296368aa1782327f Mon Sep 17 00:00:00 2001 From: Dan Liebgold Date: Thu, 4 Oct 2018 08:16:08 -0700 Subject: [PATCH] Use https for plt.eecs HEAD --- install-racket.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/install-racket.sh b/install-racket.sh index 839070e..18627ec 100755 --- a/install-racket.sh +++ b/install-racket.sh @@ -12,10 +12,11 @@ fi DL_BASE="https://mirror.racket-lang.org/installers" if [[ "$RACKET_VERSION" = "HEAD" ]]; then + NWU_BASE="https://plt.eecs.northwestern.edu/snapshots/current/installers" if [[ "$RACKET_MINIMAL" = "1" ]]; then - URL="http://plt.eecs.northwestern.edu/snapshots/current/installers/min-racket-current-x86_64-linux-precise.sh" + URL="${NWU_BASE}/min-racket-current-x86_64-linux-precise.sh" else - URL="http://plt.eecs.northwestern.edu/snapshots/current/installers/racket-test-current-x86_64-linux-precise.sh" + URL="${NWU_BASE}/racket-test-current-x86_64-linux-precise.sh" fi elif [[ "$RACKET_VERSION" = 5.3* ]]; then if [[ "$RACKET_MINIMAL" = "1" ]]; then