Are there systems on which curl is more likely to be present? 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
