Yes. On a related note, I've put dolfin_parameters.xml in
~/.config/fenics/ not in ~/.config/fenics/dolfin Should it be moved? In the config case, I seems the directory is not necessary since we can expect at most one file per FEniCS application (but there may be more). Opinions? -- Anders On Mon, Oct 24, 2011 at 07:53:57PM -0000, Martin Sandve Alnæs wrote: > Better with instant/ so other projects can cache stuff. > > Martin > Den 24. okt. 2011 20.20 skrev "Johan Hake" <880...@bugs.launchpad.net> > følgende: > > > On Monday October 24 2011 04:13:55 Anders Logg wrote: > > > I suggest $HOME/.cache/fenics/instant/ > > > > Why not just: > > > > $HOME/.cache/fenics/ > > > > Johan > > > > > > Title: > > Cache should be in ~/.cache/foo > > > > Status in Instant: > > New > > > > Bug description: > > According to > > > > http://standards.freedesktop.org/basedir-spec/basedir-spec- > > latest.html > > > > Instant should probably write cache files in $HOME/.cache > > > > To manage notifications about this bug go to: > > https://bugs.launchpad.net/instant/+bug/880758/+subscriptions > > > _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : dolfin@lists.launchpad.net Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
