Use curl for file downloads

alanpearce commented 10 years ago

Convert all uses of wget to use the more-widespread curl

Closes #3

wilas commented 10 years ago

I think I have issue now with curl:

curl cdimage.debian.org/cdimage/release/7.1.0/amd64/iso-cd/debian-7.1.0-amd64-netinst.iso

return

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">
<html><head>
<title>302 Found</title>
</head><body>
<h1>Found</h1>
<p>The document has moved <a href="http://gensho.acc.umu.se/cdimage/release/7.1.0/amd64/iso-cd/debian-7.1.0-amd64-netinst.iso">here</a>.</p>
<hr>
<address>Apache/2.4.4 (Unix) Server at cdimage.debian.org Port 80</address>
</body></html>

when wget is able to deal with it...

wilas commented 10 years ago

We need to use curl -L

wilas / vbkick

Use curl for file downloads #6