<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto">Not directly, but you can use PetscOptionsHasHelp() to query whether the user runs with “-help”, print all of your available options and exit early. So you might do:<div><br></div><div>PetscOptionsBegin();</div><div>< your options list here ></div><div>PetscOptionsEnd();<br><div>PetscOptionsHasHelp(NULL, &set);</div><div>If (set) PetscFinalize();</div><div><br></div><div>You’ll still get the header with the basic PetscOptions but it shouldn’t print all the other options. <br><br><div dir="ltr"><span style="background-color: rgba(255, 255, 255, 0);">Best regards,<br class=""><br class="">Jacob Faibussowitsch<br class="">(Jacob Fai - booss - oh - vitch)<br class="">Cell: +1 (312) 694-3391</span></div><div dir="ltr"><br><blockquote type="cite">On Jan 11, 2021, at 17:36, Mark Adams <mfadams@lbl.gov> wrote:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr"><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>
</div></blockquote></div></div></body></html>