Skip to main content

Command History

Synopsis

Use the command history.

Description

RascalShell provides a history of previously entered commands. This can be accessed as follows:

keystrokedescription
Show previous command in history; Type Return to execute it.
Next command in history; Type Return to execute it.
Ctrl+r(After search text) Search backward in history.
Ctrl+s(After search text) Forward search in history

Examples

rascal>a = 1;
int: 1
rascal>b = 2;
int: 2
rascal>c = 3;
int: 3

Typing will then show the text (not followed by Return!):

rascal>c = 3;

Typing Return will reexecute c = 3.

Typing the letter a (the search text in this example) followed by Ctrl+r will show the text:

(reverse-i-search)`a': a = 3;

And again, typing Return will re-execute a = 3.