<div dir="ltr">I don't think so. I use grep.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jan 11, 2021 at 5:53 PM Abhyankar, Shrirang G via petsc-users <<a href="mailto:petsc-users@mcs.anl.gov">petsc-users@mcs.anl.gov</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div lang="EN-US" style="overflow-wrap: break-word;">
<div class="gmail-m_-6380592566607271011WordSection1">
<p class="MsoNormal"><span style="font-family:"Times New Roman",serif">I have an application where I set a bunch of application-specific options in PetscOptionsBegin/End and it uses the default PetscOptions database. When running the application with “-help”
option all the application and PETSc options get displayed. Is there a way to suppress displaying PETSc options, but only display the application options.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:"Times New Roman",serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:-webkit-standard;color:black">Thanks,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11pt;font-family:-webkit-standard;color:black">Shri<u></u><u></u></span></p>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
</div>
</blockquote></div>