hidegrep

.bash_profile

# Add to your `.bash_profile`. If you do something that is incredibly
# destructive, like `git push --force origin HEAD`, you can then
# delete it, how ever many times you've run it, from your history
#  using `hidegrep --force`.

function hidegrep()
{
  while true; do
    hist=$(history | grep -e "$1" | head -n 1)
    if [ -z "$hist" ]; then break; fi
    echo $hist
    history -d $(echo $hist | awk '{ print $1 }')
  done
}