Comment déterminer l'ID de la fenêtre gnome-terminal dans Ubuntu 17.10?

Dans Ubuntu 17.04, je pouvais utiliser wmctrlpour basculer vers une fenêtre de gnome-terminal avec un ID de fenêtre donné:

wmctrl -ia $gnome_term_winid

L'ID de fenêtre d'un donné gnome-terminalpeut é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 $WINDOWIDne donne rien et wmctrl -lxn'affiche également aucune gnome-terminalfenêtre.

gnome-terminal 17.10

— Håkon Hægland
source

Merci, j'ai signalé le bogue 1725991 sur Launchpad à ce sujet.

— N0rbert

wmctrl ne fonctionne pas correctement dans une session Wayland car le contrôle des fenêtres est contraire à la politique de sécurité de Wayland.

wmctrlpeut fonctionner avec les fenêtres d'application s'exécutant sous la couche de compatibilité XWayland (par exemple Firefox). Mais gnome-terminalc'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.

— pomsky
source

Il existe des protocoles proposés pour le soutenir de manière générale dans Wayland, mais aucun n'y travaille encore. C'est vraiment dommage, je ne peux pas envisager un protocole wayland prêt à aller sur Linux jusqu'à ce que ce problème ne soit pas résolu. De nombreuses applications ne fonctionnent pas à cause de cela. stackoverflow.com/questions/45465016/…

— lestcape