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