Beim versehentlichen Einfügen einer Datei in die Shell werden eine Menge hässlicher Unsinneinträge in den Bash-Verlauf eingefügt. Gibt es eine saubere Möglichkeit, diese Einträge zu entfernen? Natürlich könnte ich die Shell schließen und die .bash_history
Datei manuell bearbeiten, aber vielleicht gibt es eine API, um den Verlauf der aktuellen Shell zu ändern?
tot_lines=$(history | wc -l)
und dann wiederholt werdenhistory -d $(( tot_lines - $1 ))
.