Raccourci pour ouvrir / mettre au point la fenêtre du terminal
J'utilise un raccourci Ctrl+Alt+T pour ouvrir une nouvelle fenêtre de terminal. J'utilise très souvent l'un des terminaux (calculatrice et commandes simples) et je souhaite configurer un autre raccourci (comme Ctrl+Alt+R ou n'importe quel autre, je m'en fous) de passer à cette fenêtre de terminal spécifique (en utilisant gnome-terminal dans Unity, Ubuntu 12.04).
Est-ce possible (et comment)?
Il existe une application appelée wmctrl, qui peut vous aider. Vous pouvez installer wmctrl avec la commande suivante:
# apt-get install wmctrl
Vous pouvez obtenir la liste des fenêtres existantes par wmctrl -l et voir les titres et les noms des fenêtres existantes. En utilisant des titres, vous pouvez ouvrir une fenêtre en:
$ wmctrl -a <string>
Pour automatiser cette procédure, vous pouvez démarrer un gnome-terminal spécifique avec le paramètre --title afin de définir le titre de la fenêtre. En supposant que vous avez couru:
$ gnome-terminal --title=testing
Tu peux courir:
$ wmctrl -a "testing"
pour que cette fenêtre soit ouverte, sachez que la chaîne que vous avez utilisée pour sélectionner window devrait être spécifique à cette fenêtre et ne devrait pas correspondre à son titre.
J'ai écrit un petit programme appelé jumpapp dans ce but précis. Il vous permet de créer un raccourci clavier pour ouvrir un nouveau terminal la première fois que vous appuyez dessus et pour basculer vers la fenêtre déjà ouverte à tout moment. après ça. De plus, si vous avez plusieurs fenêtres de terminal ouvertes, une pression répétitive sur le raccourci fera défiler toutes les fenêtres du terminal.
C'est facile à installer depuis les sources , ou vous pouvez l'installer à partir de mon PPA:
Sudo add-apt-repository ppa:mkropat/ppa
Sudo apt-get update
Sudo apt-get install jumpapp