AFAIK, it's not owned by root but it does not have write permissions. Just run, for instance
chmod -R u+w <directory_you_want_to_delete> rm -rf <directory_you_want_to_delete> Jan On Tue, 21 Apr 2015 16:41:07 -0700 Linh Nguyen <[email protected]> wrote: > 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
