> On Apr 14, 2015, at 9:58 PM, Mark Adams <[email protected]> wrote: > > > > I disagree that nobody uses it, but if we get rid of ~/.petscrc and > recommend that they use PETSC_OPTIONS for that, what will they do? > > I repeat, do we have any data on the number of user that use ~/.petscrc ? > > I never have. That is not data; that is an anecdote. Data? > > If everyone is using ~/.petscrc then I can suck it up but if nobody is then > this is a red hearing and we should just do it.
You are avoiding the question. If we get rid of .petscrc how can we possible not get rid of PETSC_OPTIONS since it has the exact same possible problems (and we have plenty of previous experience with outdated environmental variables).
