Rust's simple download script

[Andrei Alexandrescu via Digitalmars-d]

On 11/09/2015 07:46 PM, Adam D. Ruppe wrote:
> 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.

Color me convinced! -- Andrei