The editor provides a means of running a shell interactively.
Argument: None
Key sequence: None
Opens a Shell window which allows the user to run a shell interactively. The major mode of the buffer is Shell mode, and the minor mode is Execute mode so the history key bindings available in the Listener can also be used in the Shell window.
Whenever the working directory is changed within the shell, the editor attempts to keep track of these changes and update the default directory of the Shell buffer. When a shell command is issued beginning with a string matching one of the editor variables Shell-cd-RegExp , Shell-push-RegExp or Shell-pop-RegExp , the editor recognises this command as a change directory command and attempt to change the default directory of the Shell buffer accordingly. If you have your own aliases for any of the shell change directory commands, alter the value of the appropriate variable. For example, if the value of Shell-cd-RegExp is cd and the shell command CD is issued, the next time the editor command Wfind File is issued, the default directory offered is . If you find that the editor has not recognised a change directory command then the editor command cd may be used to change the default directory of the buffer.
Arguments: directory
Key sequence: None
Mode: Shell
Changes the directory associated with the current buffer to directory . The current directory is offered as a default.
A regular expression that matches the shell command to change the current working directory.
Default value: pushd Mode: Shell
A regular expression that matches the shell command to push the current working directory onto the directory stack.
Default value: popd Mode: Shell
A regular expression that matches the shell command to pop the current working directory from the directory stack.