Como determinar o ID da janela do gnome-terminal no Ubuntu 17.10?

11

No Ubuntu 17.04 eu poderia usar wmctrl para mudar para uma janela do gnome-terminal com uma ID de janela:

wmctrl -ia $gnome_term_winid

O ID da janela de um dado gnome-terminal também pode ser exibido no terminal digitando:

echo $WINDOWID

Após a atualização para o Ubuntu 17.10, este não é mais o caso. Primeiro, echo $WINDOWID não fornece nada e também wmctrl -lx não mostra gnome-terminal windows.

    
por Håkon Hægland 22.10.2017 / 13:51

1 resposta

10

O

wmctrl não funciona corretamente em uma sessão do Wayland, já que controlar as janelas é contra a política de segurança do Wayland.

wmctrl pode funcionar com as janelas do aplicativo em execução na camada de compatibilidade do XWayland (por exemplo, Firefox). Mas gnome-terminal é um aplicativo oficial do GNOME que não é executado no XWayland, portanto, ele falha.

Você pode tentar mude para uma sessão do Xorg como solução alternativa.

    
por pomsky 22.10.2017 / 14:01