(Type: immediate)
<$.EOF option>
─ $.EOF ──────────────────────────────────────────────────────────────┤
The $.EOF option indicates the end of all input. $.EOF can occur in any input file. The PATCH utility does not read any records following the EOF record.
The $.EOF option is used to end an interactive run from a remote terminal. For more information about running the PATCH utility interactively, refer to the description under “Using CANDE to Run the PATCH Utility.”
SET or RESET context is ignored for $.EOF.