next up previous contents index
Next: OPTIONS /GRID Up: OPTIONS Previous: OPTIONS /GAINIMAGE   Contents   Index


OPTIONS /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!)


Gildas manager 2023-06-01