Re: [deal.II] "file name too long" for download

2017-06-19 Thread Victor Eijkhout
On Jun 19, 2017, at 4:25 PM, Bruno Turcksin mailto:bruno.turck...@gmail.com>> wrote: wget https://github.com/dealii/dealii/releases/download/v8.5.0/dealii-8.5.0.tar.gz -O dealii-8.5.0.tar.gz Yes, the explicit out

[deal.II] Re: "file name too long" for download

2017-06-19 Thread Bruno Turcksin
Victor, it works fine for me with wget 1.17. Can you try wget https://github.com/dealii/dealii/releases/download/v8.5.0/dealii-8.5.0.tar.gz -O dealii-8.5.0.tar.gz Best, Bruno On Monday, June 19, 2017 at 5:18:13

[deal.II] "file name too long" for download

2017-06-19 Thread Victor Eijkhout
wget https://github.com/dealii/dealii/releases/download/v8.5.0/dealii-8.5.0.tar.gz --2017-06-19 15:59:53-- https://github.com/dealii/dealii/releases/download/v8.5.0/dealii-8.5.0.tar.gz Resolving github.com... 192.30.253.113, 192.30.253.112 Connecting to github.com|192.30.253.113|:443... connecte