SOURCE /GREP
Keywords: pako

Next: SOURCE /VELOCITY Up: SOURCE Previous: SOURCE /CATALOG Contents Index

###
SOURCE /GREP

        /GREP

        Does a "grep" search for the (partial) source name or string in the
        source catalog and lists any matching lines.  This search ignores the
        case.  This is only to help the user search through a source catalog.
        Even if the match is unique, the source found is not selected. (re-enter
        the SOURCE command with the full source name!)