Quando si incolla accidentalmente un file nella shell inserisce una tonnellata di brutte voci senza senso nella storia di bash. C'è un modo pulito per rimuovere quelle voci? Ovviamente potrei chiudere la shell e modificare il .bash_history
file manualmente ma forse c'è qualche tipo di API disponibile per modificare la cronologia della shell corrente?
tot_lines=$(history | wc -l)
e quindi ripeterehistory -d $(( tot_lines - $1 ))
.