[petsc-dev] Sean is going to love this

[Sean Farley]

Jed Brown writes:

> Sean Farley <sean.michael.farley at gmail.com> 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.

That sounds like a brilliant plan.