Command line flags

The following command line flags are supported.

-$$-help

Displays information on the usage of the Maude command and its line flags.

-$$-version

Displays the Maude version number.

-no-mixfix

Turns off mixfix printing; useful if Maude is being run by some other program that does not want to deal with the intricacies of mixfix parsing.

-ansi-color, -no-ansi-color

By default ANSI escape codes for color and other effects are disabled if the standard output is not a terminal or the TERM environment variable is set to dumb. These flags allow the default behavior to be overridden.

-tecla, -no-tecla

By default Tecla-based command line editing is disabled if the standard output is not a terminal or the TERM environment variable is set to dumb or emacs. These flags allow the default behavior to be overridden.

-no-prelude

Causes Maude not to read in the standard prelude.

-batch

Disables control-C handling.

-interactive

Pretends to be interactive, and enables control-C handling even though standard output is not a terminal.

-xml-log=file-name

Generates an XML log for selected commands in the given file.

-no-banner

Causes Maude not to show the welcome banner at start-up.

-random-seed=number

Specifies the natural number number in the range $[0, 2^{32}-1]$ as the seed for the pseudo-random number generator random in module RANDOM (see Section 7.3). The default seed is 0.

-no-advise

Switches off advisories at start up.

-no-wrap

Disables the automatic line wrapping of output.