If users develop application codes on UNIX machines using Emacs (which we
highly recommend), the etags feature can be used to search PETSc
files quickly and efficiently. To use this feature, one should
first check if the file,
${}PETSC_DIR/TAGS exists. If this file is
not present, it should be generated by
running make etags from the PETSc home directory.
Once the file exists, from
Emacs the user should issue
the command
M-x visit-tags-tablewhere `` M'' denotes the Emacs Meta key, and enter the name of the TAGS file. Then the command `` M-.'' will cause Emacs to find the file and line number where a desired PETSc function is defined. Any string in any of the PETSc files can be found with the command `` M-x tags-search''. To find repeated occurrences, one can simply use `` M-,'' to find the next occurrence.