On Jun 19, 2017, at 4:25 PM, Bruno Turcksin <[email protected]<mailto:[email protected]>> 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<https://github.com/dealii/dealii/releases/download/v8.5.0/dealii-8.5.0.tar.gz> Yes, the explicit output name fixes it. Victor. -- The deal.II project is located at http://www.dealii.org/ For mailing list/forum options, see https://groups.google.com/d/forum/dealii?hl=en --- You received this message because you are subscribed to the Google Groups "deal.II User Group" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
