Command History

rascal-0.40.17

Use the command history.

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

keystroke	description
`↑`	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 backwards in history.
`Ctrl+s`	(After search text) Forward search in history

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.