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