Die History im Terminal ist wirklich praktisch, denn der gewünschte Befehl ist nicht viele Buchstaben, sondern nur ein paar Pfeiltasten entfernt. Noch angenehmer ist es, wenn man die Suche mit CTRL+R nutzt. Leider landen auch mal Dinge in der Historie, die da gar nicht hingehören: kopierte Passwörter zum Beispiel …