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

11

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

wmctrl -ia $gnome_term_winid

L'ID 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. Premièrement, echo $WINDOWID ne donne rien et wmctrl -lx ne montre aucune fenêtre gnome-terminal .

    
posée Håkon Hægland 22.10.2017 - 13:51
la source

1 réponse

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.

wmctrl peut fonctionner avec les fenêtres d'application exécutées sous la couche de compatibilité XWayland (par exemple Firefox). Mais gnome-terminal est une application officielle de GNOME qui ne fonctionne pas sous XWayland, donc elle échoue.

Vous pouvez essayer de passer à une session Xorg en guise de solution de contournement.

    
réponse donnée pomsky 22.10.2017 - 14:01
la source

Lire d'autres questions sur les étiquettes