If you have a long list of commands in the history, press the function key F7 to
navigate through the history list using the arrow keys.
And if you already know the command number, press F9 and directly type that number.
Very useful if you have to run some command repeatedly.
