Kennst du das? Du tippst einen langen, komplexen Befehl in dein Terminal ein, drückst Enter und wirst sofort von einer Fehlermeldung begrüßt: „Permission denied“.
Du hast vergessen, sudo voranzustellen. Normalerweise würdest du jetzt entnervt die Pfeiltaste nach oben drücken, den Cursor ganz an den Anfang der Zeile bewegen, sudo tippen und wieder Enter drücken. Das kostet Zeit und Nerven.
Aber es geht viel schneller. Hier kommt einer der beliebtesten Tricks der Linux-Community ins Spiel: sudo !!.