SCRIPTEXTENSION

Syntax: SET SCRIPTEXTENSION s
GET 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

  ERRORFILL
  STACKEXTENSION