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
