Search notes:

Shell command: history

history displays the command line history of previously typed commands.
Delete a specific command from the history:
history -d 42

See also

Shell commands
history

Index