dump-name

Syntax:

dump-name <format>

Description:

Control the filename pattern for dump output, where <format> is an arbitrary format string that will be substituted according to:

• $VAR -> name of the variable being dumped (this must be present)
• $STAMP -> time-stamp at the start of dump

Properties:

Requires:     (None)

Forbids:     (None)

Allow multiple:    no

Default:

dump-name $STAMP.$VAR

Back to: Input file documentation or Index of commands