jyapayne/nimgenEx
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix #42 - curl should follow redirects, powershell wget backport

Browse source
This commit is contained in:
Ganesh Viswanathan 2019-07-16 22:17:32 -05:00
commit 2be81614a9
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/nimgen/external.nim
View file

@ -43,9 +43,10 @@ proc downloadUrl*(url: string) =
file = url.extractFilename() file = url.extractFilename()
ext = file.splitFile().ext.toLowerAscii() ext = file.splitFile().ext.toLowerAscii()
var cmd = "curl $# -o $#" var cmd = if defined(Windows):
if defined(Windows): "powershell [Net.ServicePointManager]::SecurityProtocol = [Net.SecurityProtocolType]::Tls12; wget $# -OutFile $#"
cmd = "powershell wget $# -OutFile $#" else:
"curl -L $# -o $#"
if not (ext == ".zip" and fileExists(gOutput/file)): if not (ext == ".zip" and fileExists(gOutput/file)):
echo "Downloading " & file echo "Downloading " & file