From f82107e4e568d0d680154aaf359791de311693f4 Mon Sep 17 00:00:00 2001 From: Phil Hagelberg Date: Sun, 21 Jan 2018 09:51:47 -0800 Subject: [PATCH] No no no no no no no. That is terrible advice. https://p.hagelb.org/no.gif --- bin/lein.bat | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/bin/lein.bat b/bin/lein.bat index 0e42e86b..f0d2ce44 100755 --- a/bin/lein.bat +++ b/bin/lein.bat @@ -223,8 +223,6 @@ echo Failed to download %LEIN_JAR_URL% echo. echo It is possible that the download failed due to "powershell", echo "curl" or "wget"'s inability to retrieve GitHub's security certificate. -echo The suggestions below do not check certificates, so use this only if -echo you understand the security implications of not doing so. echo. if "%LAST_HTTP_CLIENT%" == "powershell" ( @@ -233,8 +231,8 @@ if "%LAST_HTTP_CLIENT%" == "powershell" ( echo the HTTP_CLIENT environment variable with one of the following echo values: echo. - echo a^) set HTTP_CLIENT=wget --no-check-certificate -O - echo b^) set HTTP_CLIENT=curl -f -L -k -o + echo a^) set HTTP_CLIENT=wget -O + echo b^) set HTTP_CLIENT=curl -f -L -o echo. echo NOTE: Make sure to *not* add double quotes when setting the value echo of HTTP_CLIENT @@ -246,7 +244,7 @@ if "%LAST_HTTP_CLIENT%" == "curl" ( echo the HTTP_CLIENT environment variable with one of the following echo values: echo. - echo a^) set HTTP_CLIENT=wget --no-check-certificate -O + echo a^) set HTTP_CLIENT=wget -O echo. echo NOTE: Make sure to *not* add double quotes when setting the value echo of HTTP_CLIENT @@ -261,7 +259,7 @@ if "%LAST_HTTP_CLIENT%" == "wget" ( echo the HTTP_CLIENT environment variable with one of the following echo values: echo. - echo. a^) set HTTP_CLIENT=curl -f -L -k -o + echo. a^) set HTTP_CLIENT=curl -f -L -o echo. echo NOTE: make sure *not* to add double quotes to set the value of echo HTTP_CLIENT