undefined | Better HN

0 pointsvacri11y ago0 comments

... 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.

0 comments

akerl_11y ago

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

j / k navigate · click thread line to collapse

0 pointsvacri11y ago0 comments

... 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.

akerl_11y ago

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

j / k navigate · click thread line to collapse