{output filename}
The output command redirects Jive output to a named file
(filename). The output command is an external command. It
and its argument must be immediately enclosed in braces.
Normally, output from a Jive script is to the standard output device, stdout. The output command redirects the output to a file. The output command has a single argument - an expression whose value is converted to string. The string value is used as the name of the output file. Subsequent output from the Jive script is written to the file.
If the argument for the output command is omitted, output reverts to stdout.
Examples:
{output 'savefile'}
{output @ { remote_address, '.sav' }}
{output}
Note: If Jive source is written to the output file, it can be 'executed'
with include.