Desktoptipps | Hermann Apfelböck | 6/2024 | 27. September 2024

F10-Taste für das Terminal freigeben

In den meisten Desktopumgebungen aktiviert Taste F10 im Terminalfenster dessen Menüleiste. Die Option zum Abschalten findet sich in allen Terminals an jeweils anderer Stelle.

Auf vielen Desktops ist das Verhalten der F10-Taste bei Aktionen im Terminal lästig: Ein Druck auf F10 öffnet das Menü des grafischen Terminalfensters und kollidiert damit mit Funktionen von Terminalprogrammen. So ist F10 zum Beispiel der Quit-Hotkey für den Midnight Commander oder für den Prozessmonitor Htop.

Die Standardeinstellung für F10 als Menüaufruf lässt sich in allen grafischen Terminalemulatoren abschalten, wenn der richtige Menüpunkt erst mal gefunden ist. KDE Plasma ist hier nicht genannt, weil das KDE-Terminal (Konsole) diese F10-Kollision nicht kennt.

Gnome und Cinnamon: Der Terminalemulator ist hier das Gnome-Terminal. Die maßgebliche Einstellung zeigt das Menü „Bearbeiten –› Einstellungen –› Allgemein“ im Punkt „Menütastenkombination aktivieren (Vorgabe: F10)“. Dieses Häkchen ist zu deaktivieren.

Mate: Im Terminalprogramm dieser Umgebung findet sich der gesuchte Menüpunkt unter „Bearbeiten –› Tastenkombinationen“.

XFCE: Etwas tiefer ist die Option im Terminal von XFCE versteckt. Dort findet sich im Dialog „Bearbeiten –› Einstellungen –› Fortgeschritten“ der Punkt „Menütastenkombination aktivieren (Vorgabe: F10)“, der angeklickt werden muss.

LXDE: Das Lxterminal dieser Desktopumgebung hat einen anderen Platz für die Belegung der F10-Taste gefunden. Sie findet sich hier unter „Bearbeiten –› Einstellungen –› Verschiedenes –› Tastenkürzel F10 für das Menü deaktivieren“.