yogsototh/leiningen
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

No no no no no no no. That is terrible advice.

Browse source 
https://p.hagelb.org/no.gif
This commit is contained in:
Phil Hagelberg 2018-01-21 09:51:47 -08:00
parent 26bca986b3
commit f82107e4e5
1 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
bin/lein.bat
View file

@ -223,8 +223,6 @@ echo Failed to download %LEIN_JAR_URL%
echo. echo.
echo It is possible that the download failed due to "powershell", echo It is possible that the download failed due to "powershell",
echo "curl" or "wget"'s inability to retrieve GitHub's security certificate. 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. echo.
if "%LAST_HTTP_CLIENT%" == "powershell" ( 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 the HTTP_CLIENT environment variable with one of the following
echo values: echo values:
echo. echo.
echo a^) set HTTP_CLIENT=wget --no-check-certificate -O echo a^) set HTTP_CLIENT=wget -O
echo b^) set HTTP_CLIENT=curl -f -L -k -o echo b^) set HTTP_CLIENT=curl -f -L -o
echo. echo.
echo NOTE: Make sure to *not* add double quotes when setting the value echo NOTE: Make sure to *not* add double quotes when setting the value
echo of HTTP_CLIENT 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 the HTTP_CLIENT environment variable with one of the following
echo values: echo values:
echo. echo.
echo a^) set HTTP_CLIENT=wget --no-check-certificate -O echo a^) set HTTP_CLIENT=wget -O
echo. echo.
echo NOTE: Make sure to *not* add double quotes when setting the value echo NOTE: Make sure to *not* add double quotes when setting the value
echo of HTTP_CLIENT 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 the HTTP_CLIENT environment variable with one of the following
echo values: echo values:
echo. echo.
echo. a^) set HTTP_CLIENT=curl -f -L -k -o echo. a^) set HTTP_CLIENT=curl -f -L -o
echo. echo.
echo NOTE: make sure *not* to add double quotes to set the value of echo NOTE: make sure *not* to add double quotes to set the value of
echo HTTP_CLIENT echo HTTP_CLIENT