On Mon, 8 Dec, 2014 at 9:33 AM, Anders Logg <[email protected]> wrote:
Are there systems on which curl is more likely to be present?
Yes - OSX.
Garth
The toplevel command line assumes wget.
Mon Dec 08 2014 at 10:32:57 AM skrev Johannes Ring
<[email protected]>:
On Mon, Dec 8, 2014 at 10:16 AM, Martin Sandve Alnæs
<[email protected]> wrote:
> On ubuntu 14.04, I get
>
> ...
> Checking connectivity... done.
> bash: line 35: curl: command not found
> bash: line 37: curl: command not found
> bash: line 39: curl: command not found
> Downloading FEniCS Install...
> ...
>
> but it seems to continue just fine. I'll let you know how it turns
out.
I would stop the script, install curl (apt-get install curl), and
then
restart the script.
I will try to fix the script such that either curl or wget can be
used.
Johannes
_______________________________________________
fenics mailing list
[email protected]
http://fenicsproject.org/mailman/listinfo/fenics
