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

12

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
la source
2
Merci, j'ai signalé le bogue 1725991 sur Launchpad à ce sujet.
N0rbert

Réponses:

10

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
la source
2
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