← Back to team overview

dolfin team mailing list archive

Thread
Date

setting cache directory

To: instant-dev@xxxxxxxxxx, DOLFIN development <dolfin-dev@xxxxxxxxxx>
From: Andy Ray Terrel <aterrel@xxxxxxxxxxxx>
Date: Sat, 14 Nov 2009 17:08:28 -0600
Delivered-to: dolfin-dev@xxxxxxxxxx
Sender: andy.terrel@xxxxxxxxx

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