User:Gregor/Bash

bash

Delete history item

see http://superuser.com/questions/384366/remove-a-certain-line-from-bash-history-file

$ history
$ history -d <number>