| Syntax: |
SET SCRIPTEXTENSION s
|
| Default value: |
SCRIPTEXTENSION = pcm
|
Note: The value of the SCRIPTEXTENSION
characteristic is a string and not a numeric value. So, if you enter:
GET SCRIPTEXTENSION X
the variable X will be a string variable.
The SET SCRIPTEXTENSION
command is used to
redefine the default file extension for script files. The original default file
extension is pcm. This file extension applies to the
EXECUTE command only.
If you enter the file name without a file extension, the default extension is automatically
appended to the file name.
The case of the extension is kept as entered.
Examples
If you have a script file named script_file.pcm, you can execute
this file with the command @script_file or with
the command @script_file.pcm.
If you have a script file named script_file.extrema you can
execute this file with the command
@script_file.extrema
or
SET SCRIPTEXTENSION extrema
@script_file
You can also use character variables, for example:
T=`script_file' SET SCRIPTEXTENSION extrema @T