Ao colar acidentalmente um arquivo no shell, ele coloca uma tonelada de entradas absurdas e feias no histórico do bash. Existe uma maneira limpa de remover essas entradas? Obviamente, eu poderia fechar o shell e editar o .bash_history
arquivo manualmente, mas talvez haja algum tipo de API disponível para modificar o histórico do shell atual?
tot_lines=$(history | wc -l)
e repitahistory -d $(( tot_lines - $1 ))
.