(Type: immediate)

<$.FILE option> <$.DISK option> <$.PATCHDECK option>

──┬─ $.FILE ──────┬─┬─<file title>─┬───────────────────────────────────┤
  ├─ $.DISK$ ─────┤ └─<intname>────┘
  └─ $.PATCHDECK ─┘

The $.FILE, $.DISK$, and $.PATCHDECK options are synonymous and are extensions of the CARD file. When one of these options is encountered, the PATCH utility reads from the specified file until it reaches end-of-file (EOF) or another $.FILE, $.DISK $, $.PATCHDECK, or $.DISK option. If $.LISTP is TRUE, the file title of the disk file from which a record is read is printed to the right of the sequence number in the printer listing.

The files used in the $.DISK, $.DISK $, $.FILE, and $.PATCHDECK options can be file-equated in the file equation section of the input. The internal name must be only one node—that is, it cannot contain any slashes (/).

The $.FILE option, and any options that are synonymous with this option, differs from the $.DISK option in two important ways. The input from the $.FILE option is marked if the $.MARK option is set to TRUE. In addition, the specified input file may contain the $.DISK option, the $.DISK$ option, the $PATCHDECK option, or the $.FILE option and these options can be nested within other options up to 10 levels.

Examples

$.FILE MY/FILE ON MYPACK
$.PATCHDECK A/B
$.DISK $ MY/OTHER/FILE ON MYPACK