Hacker News new | ask | show | jobs
by vacri 4143 days ago
... which will clear your entire history, which you probably don't want.

I don't know a shorter way, but to delete one line from history, do 'history', which shows the line numbers, then 'history -d LINE_NUM'.

Or, in bash, prepend the command with a space and it won't go into history.

1 comments

Open new terminal -> unset HISTFILE -> do your greping -> close terminal