A.8 System Commands

These commands control system level things. Unlike all the above commands they are not followed by a period. Unlike in OBJ3, they may be used inside a module definition at any point at which a keyword such as var could legally be used.

pwd

Prints the path of the working directory.

ls {flags} {directories}

Runs the UNIX ls command to list the files in the specified directories or working directory if none specified. The allowable flags depend on your local implementation of ls. Example:

ls -lF /usr/bin /usr/local

cd directory-name

Changes the working directory to directory-name.

pushd directory-name

Saves the current working directory on a stack and then changes the working directory to directory-name.

popd

Changes the working directory to that which is on the top of the directory stack and pops the directory stack.

in file-name

Causes a specified file to be included at this point. The full file name must be given, together with a full path name if the file is not in the current working directory. May be nested, i.e. the included file may contain in commands. Example:

in ../Examples/foo.maude

eof

Causes the interpreter to respond as if it had reached the end of file.

quit

Causes the interpreter to exit.