[isabelle-dev] download-components

Tjark Weber webertj at in.tum.de
Wed Aug 15 12:01:44 CEST 2012


On Wed, 2012-08-08 at 11:22 +0200, Makarius wrote:
> One could also use "wget -O- ... | tar xvzf -" and avoid the TMP file.

Unfortunately, this doesn't behave as one would like when wget fails.

Best regards,
Tjark





More information about the isabelle-dev mailing list