<div dir="ltr">Grep is the goto. If you are only interested in the help string, you can do <div><br></div><div>    -help intro</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Am Fr., 10. Apr. 2020 um 04:03 Uhr schrieb Mark Adams <<a href="mailto:mfadams@lbl.gov">mfadams@lbl.gov</a>>:<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 dir="ltr">I use grep.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Apr 9, 2020 at 9:11 PM Jacob Faibussowitsch <<a href="mailto:jacob.fai@gmail.com" target="_blank">jacob.fai@gmail.com</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>Hello All,<div><br></div><div>Is there any built-in way to filter -help (like -info)? Standard PETSc -help dumps an ungodly amount of stuff and if using SLEPc it spits out 8x as much. </div><div><br><div>
<div dir="auto" style="color:rgb(0,0,0);letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;text-decoration:none"><div>Best regards,<br><br>Jacob Faibussowitsch<br>(Jacob Fai - booss - oh - vitch)<br>Cell: (312) 694-3391</div></div>

</div>

<br></div></div></blockquote></div>
</blockquote></div>