Bestimmte Zeile aus der Bash-History entfernen

1. Erstmal mit history rausfinden, welche Zeilennummer die Zeile hat, die entfernt werden soll
2. Dann löschen dieser einen Zeile mit history -d NUMMER
3. Nun muß die History auf die Platte geschrieben werden mit history -w - bis dahin ist die Zeile nur im Speicher entfernt