Hi, It seems like the resulting .hashdist directory (on Ubuntu Linux) ends up being owned by root even though I don't run the installation via sudo. Is there a way to install and preserve normal user permissions?
Thanks, Linh Nguyen
_______________________________________________ fenics mailing list [email protected] http://fenicsproject.org/mailman/listinfo/fenics
