<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Apr 14, 2015 at 8:17 PM, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov" target="_blank">bsmith@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
  Mark,<br>
<br>
    You have not addressed the issue of people have a stale PETSC_OPTIONS. Why is that any less likely then a stale .petscrc?<br></blockquote><div><br></div><div>I think I said this: people use their home directories as *scratch space*.  You download an email of a petscrc file, untar something, scp something, however you move files around.  <br>You do not use your .bashrc file as a *scratch pad*.<br><br></div><div>And, no one uses PETSC_OPTIONS (I've been using PETSc for 20 years and have never heard of it until today!); everyone uses their home directory.<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
<br>
   Barry<br>
<br>
  Note that based on our experiences with ./configure people generally have lots and lots of stale environmental variables set in their .bashrc that they don't know about. Hence we turn them all off before starting ./configure<br>
<div class=""><div class="h5"><br>
> On Apr 14, 2015, at 6:52 PM, Mark Adams <<a href="mailto:mfadams@lbl.gov">mfadams@lbl.gov</a>> wrote:<br>
><br>
><br>
><br>
> On Tue, Apr 14, 2015 at 5:51 PM, Barry Smith <<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov</a>> wrote:<br>
><br>
> > On Apr 14, 2015, at 4:45 PM, Mark Adams <<a href="mailto:mfadams@lbl.gov">mfadams@lbl.gov</a>> wrote:<br>
> ><br>
> ><br>
> > ><br>
> > > This has never been a problem.<br>
> ><br>
> >    I suspect this is because almost no one knows about PETSC_OPTIONS and uses it.<br>
> ><br>
> ><br>
> > This could be a migration path for people using ~/.petscrc ...<br>
><br>
>   So people start using PETSC_OPTIONS. They do the same stupid thing of setting something and forget about a year later and then we have to remove PETSC_OPTIONS.  Why do we want to migrate them to something just as dangerous?<br>
><br>
><br>
> Do we have any idea of the number of users that use ~/.petscrc ?<br>
><br>
> If no one is using it other than us then we switch and there is no problem.  I have never thought of using it.  I never have global options that I always want to use like this.  Does anyone other than us for regression tests?<br>
><br>
> The problem we have seen is someone has some temporary junk in their home directory and it gets picked up.  No one uses .bashrc as a scratch pad but people do use their home directory this way.<br>
><br>
<br>
</div></div></blockquote></div><br></div></div>