Difference between revisions of "User:Gregormi/Bash"

Jump to: navigation, search
(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>

Content is available under Creative Commons License SA 4.0 unless otherwise noted.