Rust's simple download script

[Adam D. Ruppe via Digitalmars-d]

On Tuesday, 10 November 2015 at 00:42:24 UTC, Andrei Alexandrescu 
wrote:
> Piping through less would be a natural first thing to do. Also, 
> let's not forget that installing from the same site carries the 
> same risks. -- Andrei

Not necessarily. At least a separate download gives you a chance 
to verify the download was completed too. Piping direct into 
shell could deliver an end-of-file in the middle of a file (e.g. 
in the case of a network error) which might change the results.

Most likely result is a half-finished installation leaving 
not-working garbage on your system, but it might also run a 
different command...

rm -r /yourfile

is what it is supposed to do, but instead you received `rm -r /` 
<end of file>... oops.



With a separate download you can at least verify the whole thing 
was there before running it.