|  |  3.1.5 Editing input 
The following keys can be used for editing the input and retrieving
previous input lines:
 
TABprovides command line completion for function names and file names
CTRL-Bmoves cursor to the left
CTRL-Fmoves cursor to the right
CTRL-Amoves cursor to the beginning of the line
CTRL-Emoves cursor to the end of the line
CTRL-Ddeletes the character under the cursor
Warning: on an empty line,
 CTRL-Dis interpreted as theEOFcharacter which immediately terminates SINGULAR.BACKSPACEDELETECTRL-Hdeletes the character before the cursor
CTRL-Kkills from cursor to the end of the line
CTRL-Ukills from cursor to the beginning of the line
CTRL-Nsaves the current line to history and gives the next line
CTRL-Psaves the current line to history and gives the previous line
RETURNsaves 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 SINGULARHISTis 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 variableSINGULARHISTis not set, then the history of the last inputs is only available for
previous commands of the current session. 
 |