Réglez d'abord le monde "Terminal" pour qu'il apparaisse dans le titre de la fenêtre de votre gnome-terminal. Pour ce faire, lorsque vous êtes dans gnome-terminal, allez dans Edition → Préférences de profil , sélectionnez l' onglet Titre et commande et assurez-vous que le champ Titre initial contient le mot "Terminal":
Ensuite, ajoutez un nouveau raccourci clavier personnalisé pour la commande suivante:
bash -c "[[ \"$(cat /proc/$(xdotool getwindowpid $(xdotool getwindowfocus))/comm)\" != \"gnome-terminal\" ]] && wmctrl -a Terminal || xdotool key Alt+grave"
Pour ce faire, accédez à Paramètres système → Clavier , onglet Raccourcis , sélectionnez Raccourci personnalisé et ajoutez un nouveau raccourci personnalisé:
Comme vous pouvez le voir, j'ai choisi une F8touche de raccourci qui fonctionne très bien dans ce cas pour moi.
Remarque : wmctrl
et xdotool
doit être installé pour pouvoir les utiliser. Si vous ne les avez pas installés, vous pouvez les installer à partir du terminal en utilisant:
sudo apt-get install wmctrl xdotool