|
3.1.5 Editing input
The following keys can be used for editing the input and retrieving
previous input lines:
TAB
- provides command line completion for function names and file names
CTRL-B
- moves cursor to the left
CTRL-F
- moves cursor to the right
CTRL-A
- moves cursor to the beginning of the line
CTRL-E
- moves cursor to the end of the line
CTRL-D
- deletes the character under the cursor
Warning: on an empty line, CTRL-D is interpreted as the
EOF character which immediately terminates SINGULAR.
BACKSPACE
DELETE
CTRL-H
- deletes the character before the cursor
CTRL-K
- kills from cursor to the end of the line
CTRL-U
- kills from cursor to the beginning of the line
CTRL-N
- saves the current line to history and gives the next line
CTRL-P
- saves the current line to history and gives the previous line
RETURN
- saves the current line to the history and
sends it to the SINGULAR parser for interpretation
When run under a Unix-like operating system and in its ASCII-terminal
user interface, SINGULAR tries to dynamically link at runtime
with the GNU Readline library. See section `Command Line Editing' in The GNU Readline Library Manual, for more information. If a shared version of this library can
be found on your machine, then additional command-line editing
features like history completion are available.
In particuliar, if SINGULAR is able to load that library and
if the environment
variable SINGULARHIST is set and has a name of a valid file as value,
then the input history is stored across sessions using this
file. Otherwise, i.e., if the environment variable SINGULARHIST
is not set, then the history of the last inputs is only available for
previous commands of the current session.
|