@Martin: Yes that seems like a good idea if it makes the script more foolproof.
Mon Dec 08 2014 at 2:31:34 PM skrev Garth N. Wells <[email protected]>: > > > 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
