Al pegar accidentalmente un archivo en el shell, pone un montón de entradas feas sin sentido en el historial de bash. ¿Hay una manera limpia de eliminar esas entradas? Obviamente, podría cerrar el shell y editar el .bash_history
archivo manualmente, pero ¿tal vez hay algún tipo de API disponible para modificar el historial del shell actual?
tot_lines=$(history | wc -l)
y luego repetirhistory -d $(( tot_lines - $1 ))
.