Miscellaneous Commands

The commands described in this section do not process units, but some may influence the way later processing commands work.

A terse description of all Shell commands is produced by the help command:

help

With an argument:

help command-name

it shows a description of just that command.

The pathname of the current directory is shown on the putput by the following command:

cd

The change-directory command:

cd directory

sets the current directory (folder) to the argument, which must be a valid pathname for a directory in the file system, either absolute or relative to the present directory. To move one level up, to the parent of the current directory, the special notation ".." can be used. The full pathname of the new current directory is then displayed. This influences the subsequent resolution of unit identifiers if "." is on the SWPATH. With no argument, the command cd just shows the current directory.

Two commands allow listing Specware files:

dir

list the .sw files in the current directory, while

dirr

(for DIR Recursive) also lists those in sub-directories.

The value of the SWPATH environment variable is shown via the following command:

path

The value of the SWPATH environment variable is changed via the following command:

path dir;dir;...;dir

The argument must be a semicolon-separated list of absolute directory paths of the underlying operating system. For example, in order to set SWPATH to C:\users\me it is necessary to write path C:\users\me.

Changes to SWPATH only apply to the currently running Specware session. If Specware is quit and then restarted, SWPATH loses the value assigned to it during the previous session, reverting to its default value.