J'ai accidentellement décoché Affichage -> Afficher la barre de men qui masque la barre de menu pour gnome-terminal, et il ne semble pas y avoir de raccourci clavier pour afficher à nouveau la barre de menu.
Comment faire pour que gnome-terminal affiche à nouveau la barre de menu?
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 trouverez ceci:
--show-menubar Activer la barre de menus de la dernière fenêtre spécifiée; applique à une seule fenêtre; peut être spécifié une fois pour chaque fenêtre que vous créez à partir de la ligne de commande.