Running instant from pyDolfin, it puts the cache in my home directory. On the servers I am running on this is killing my quota. Is there a way to set the directory to /tmp/...
-- Andy _______________________________________________ DOLFIN-dev mailing list DOLFIN-dev@fenics.org http://www.fenics.org/mailman/listinfo/dolfin-dev
