< User:Gregor
Revision as of 09:14, 13 September 2015 by Gregor (talk | contribs) (moved from community)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

bash

Delete history item

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

$ history
$ history -d <number>

This page was last edited on 13 September 2015, at 09:14. Content is available under Creative Commons License SA 4.0 unless otherwise noted.