Shell escape :![<command>]
A :!<cmd> command can be used to execute the system
command <cmd> without leaving the Hugs interpreter. For example,
:!ls (or :!dir on DOS machines) can be used to list the
contents of the current directory. For convenience, the :! command
can be abbreviated to a single ! character.
The :! command, without any arguments, starts a new shell:
- On a Unix machine, the SHELL environment variable is used to
determine which shell to use; the default is /bin/sh.
- On an DOS machine, the COMSPEC environment variable is used
to determine which shell to use; this is usually COMMAND.COM.
Most shells provide an exit command to terminate the
shell and return to Hugs.