Come determinare l'ID della finestra di gnome-terminal in Ubuntu 17.10?

In Ubuntu 17.04 potrei usare wmctrlper passare a una finestra gnome-terminal con l'ID finestra dato:

wmctrl -ia $gnome_term_winid

L'ID della finestra di un dato gnome-terminalpuò anche essere visualizzato dal terminale digitando:

echo $WINDOWID

Dopo l'aggiornamento a Ubuntu 17.10, questo non è più il caso. Innanzitutto, echo $WINDOWIDnon fornisce nulla e inoltre wmctrl -lxnon mostra alcuna gnome-terminalfinestra.

gnome-terminal 17.10

— Håkon Hægland
fonte

Grazie, ho segnalato il bug 1725991 su Launchpad a tale proposito.

— N0rbert,

wmctrl non funziona correttamente in una sessione Wayland poiché il controllo di Windows è contrario alla politica di sicurezza di Wayland.

wmctrlpotrebbe funzionare con le finestre dell'applicazione in esecuzione con il livello di compatibilità XWayland (ad esempio Firefox). Ma gnome-terminalè un'app GNOME ufficiale che non funziona con XWayland, quindi fallisce.

Puoi provare a passare a una sessione Xorg come soluzione alternativa.

— pomsky
fonte

Ci sono alcuni protocolli proposti per supportarlo in modo generale nelle vie di comunicazione, ma nessuno ci sta ancora lavorando. È davvero un peccato, non posso condividere un protocollo Wayland pronto per andare su Linux fino a quando questo problema non sarà risolto. Molte app non funzionano a causa di ciò. stackoverflow.com/questions/45465016/...

— lestcape