User:Gregormi/Bash: Difference between revisions
(Created page with "== bash == === Delete history item === see http://superuser.com/questions/384366/remove-a-certain-line-from-bash-history-file $ history $ history -d <number>") |
(No difference)
|
Revision as of 12:29, 16 August 2015
bash
Delete history item
see http://superuser.com/questions/384366/remove-a-certain-line-from-bash-history-file
$ history $ history -d <number>