{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_file
which any subsequentsave.commands
command writes to andexec
command reads from.
exec
, save.commands
, Settings