how to delete bash history except for the last few lines. for me it’s rm “$(cat ~/.bash_history | head -n 21950 )”