> On Dec 23, 2014, at 6:53 PM, Jed Brown <[email protected]> wrote: > > Sean Farley <[email protected]> writes: >> That's entirely up to you of where to put it. Jed, I'm sure, can advise >> on which files in 'conf' to put into etc, var, or share. > > I would actually prefer to create a bin/petsc-config that can be used to > query everything about the configuration. The location of its data > files would not be part of the public interface.
Sure, but they have to go into a "legal" location. Where would that legal location be? We'd start by putting the data as is in the legal location, then add a bin/petsc-config to process that data (crudely) then refine both the storage of the data and the bin/petsc-config over time. Barry
