Hi, $HOME should now be back. There may be inconsistencies, so I advice to have a look at it first.
Regards Bjørn _______________________________________________ DOLFIN-dev mailing list DOLFIN-dev@fenics.org http://www.fenics.org/mailman/listinfo/dolfin-dev