Comment déterminer l'ID de la fenêtre du terminal gnome dans Ubuntu 17.10?
Dans Ubuntu 17.04, je pouvais utiliser wmctrl pour basculer vers une fenêtre gnome-terminal avec un ID de fenêtre donné:
wmctrl -ia $gnome_term_winid
L'identifiant de fenêtre d'un gnome-terminal donné peut également être affiché à partir du terminal en tapant:
echo $WINDOWID
Après la mise à niveau vers Ubuntu 17.10, ce n'est plus le cas. Tout d'abord, echo $WINDOWID ne donne rien, et aussi wmctrl -lx ne montre aucune fenêtre gnome-terminal.
wmctrl ne fonctionne pas correctement dans une session Wayland car le contrôle de Windows est contraire à la politique de sécurité de Wayland.
wmctrl peut fonctionner avec les fenêtres d’application fonctionnant sous la couche de compatibilité XWayland (par exemple Firefox). Mais gnome-terminal est une application GNOME officielle qui ne fonctionne pas sous XWayland, donc elle échoue.
Vous pouvez essayer de basculer vers une session Xorg comme solution de contournement.