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_historyDatei 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 )).