<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>In <a href="http://www.mcs.anl.gov/petsc/petsc-current/docs/manualpages/Sys/PetscInitialize.html">http://www.mcs.anl.gov/petsc/petsc-current/docs/manualpages/Sys/PetscInitialize.html</a> I see:</div><br><div><table border="0" cellpadding="0" cellspacing="0" style="color: rgb(0, 0, 0); font-family: Times; position: static; z-index: auto; "><tbody><tr><td align="LEFT" valign="TOP"><b>file</b></td><td>- [optional] PETSc database file, also checks ~username/.petscrc and .petscrc use NULL to not check for code specific file. Use -skip_petscrc in the code specific file to skip the .petscrc files</td></tr><tr></tr></tbody></table><br></div><div>I don't understand what "<span style="font-family: Times; ">Use -skip_petscrc in the code specific file</span>" means. In looking at the code it seems like this line should read something like:</div><div><br></div><div><font face="Times">… If you do not want to use a resource file, use NULL and add -skip_petscrc to the command line.</font></div></body></html>