3.1.5 Editing input
The following keys can be used for editing the input and retrieving
previous input lines:
- provides command line completion for function names and file names
- moves cursor to the left
- moves cursor to the right
- moves cursor to the beginning of the line
- moves cursor to the end of the line
- deletes the character under the cursor
Warning: on an empty line,
CTRL-D is interpreted as the
EOF character which immediately terminates SINGULAR.
- deletes the character before the cursor
- kills from cursor to the end of the line
- kills from cursor to the beginning of the line
- saves the current line to history and gives the next line
- saves the current line to history and gives the previous line
- 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
the input history is stored across sessions using the file given in
the environment variable
SINGULARHIST is not set
.singularhistory is used.
Otherwise, i.e., if the environment variable
SINGULARHIST is set
to the empty string, the history of the last inputs is only available for
previous commands of the current session.