On Sat, Dec 6, 2014 at 6:57 PM, Maximilian Albert <[email protected]> wrote: > 2014-12-06 17:37 GMT+00:00 Anders Logg <[email protected]>: >> >> >> Regarding sudo, everything will be installed in your home directory (in >> ~/.hashdist) so sudo is not needed. > > > Also, it's probably worth informing the user about this at the start of the > installation process. Maybe it's just me, but when I run a script I like to > know what it is about to do and where it will put things (just in case > something fails or I want to revert the operation).
I agree. Johannes _______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
