Professional Documents
Culture Documents
Useful Commands
Useful Commands
Useful Commands
story numbers:
history | grep -i "<search string>"
# Once you've found the command you want, you can execute it specifically by its
number using the following built-in history expansion command:
!<history number>