User:Gregor/Bash: Difference between revisions
moved from community |
(No difference)
|
Latest revision as of 09:14, 13 September 2015
bash
Delete history item
see http://superuser.com/questions/384366/remove-a-certain-line-from-bash-history-file
$ history $ history -d <number>