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 the input history is stored across sessions using the file given in the environment variable SINGULARHIST. If 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.