Highly recommended command to use in terminal for reviewing commands and reuse some of them. Just execute in terminal: history Also recommended to use together with grep for filtering a specific used command history | grep "foo*"
Just check the enumeration of your commands history and then delete them: history -d 7 #Deletes seventh command in your history list