Terminal: @ und ~ lassen sich nicht tippen? Option-Taste als Meta abschalten

Auf meinem Arbeits-Mac konnte ich im Terminal plötzlich weder @ noch ~ eingeben. Beide Zeichen tippt man auf der deutschen Tastatur mit der Option-Taste, und gerade in der Kommandozeile braucht man sie ständig. Die Lösung ist eine einziger Änderung in den Einstellungen.

Die Ursache

Das Terminal kann die Option-Taste als Meta-Taste verwenden. Ist das aktiv, wird Option nicht mehr zum Tippen von Sonderzeichen genutzt, sondern für Tastenkürzel in der Shell.

Die Lösung

1. Im Terminal Terminal > Einstellungen > Profile öffnen (englisch: Settings > Profiles).
2. Das verwendete Profil auswählen und oben den Reiter Tastatur öffnen.
3. Bei Option-Taste als Meta-Taste verwenden (Use Option as Meta key) die Einstellung auf Keine (None) stellen.

Alternativ geht auch „Nur linke Option-Taste“ (Left Option only). Dann bleibt die rechte Option-Taste für Sonderzeichen frei.

Danach funktionieren @ und ~ sofort wieder, ohne das Terminal neu zu starten (bei bereits offenen Fenstern ggf. einmal ein neues Fenster öffnen).