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). Cheers, Max
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
