{CommandFile}
{CommandFile
string}
changes the file name used by save.commands and
exec.
The CommandFile setting determines which file the
save.commands command writes to and the exec
command reads from. It has a default value of
pat.cmd.
If the string begins with a numeral or contains blanks or
non-alphanumeric characters, it must be enclosed within double
quote marks. The file name must also conform to the file
naming
conventions of the host operating system.
It can be changed at any time during a PAT session and remains in
effect until changed again or until the end of the session.
The current value of CommandFile is displayed by the
command {Settings}.
-
>>
{CommandFile "/usr/new/output_file"}This changes the setting to the value
/usr/new/output_filewhich any subsequentsave.commandscommand writes to andexeccommand reads from.
exec, save.commands, Settings