Skip to main content

Keyboard Shortcuts

Synopsis

Keybord shortcuts.

Description

When handling console input, RascalShell supports a subset of the shortcuts provided by GNU readline

Some convenient shortcuts are:

Ctrl+aMove cursor to begin of line.
Ctrl+dEOF marker, closes the current RascalShell (equivalent to the
command (quit).
Ctrl+eMove cursor to end of line.
Ctrl+kKill remainder of line after cursor.
Ctrl+lClear screen.

Benefits