J'ai décoché accidentellement View - & gt; Afficher la barre de menus qui masque la barre de menus de gnome-terminal, et il ne semble pas y avoir de raccourci clavier pour afficher à nouveau la barre de menus.
Comment puis-je faire apparaître à nouveau la barre de menus de gnome-terminal?
Faites un clic droit n'importe où dans le terminal et vous obtiendrez un menu contextuel similaire qui vous permettra de le réactiver.
Vous pouvez également le faire via la ligne de commande du terminal:
gnome-terminal --show-menubar
Si vous lisez le man gnome-terminal , vous pouvez trouver ceci:
--show-menubar
Turn on the menu bar for the last-specified window; applies
to only one window; can be specified once for each window you
create from the command line.
Lire d'autres questions sur les étiquettes gnome-terminal