Di Ubuntu 17.04 saya dapat menggunakan wmctrluntuk beralih ke jendela terminal gnome dengan ID jendela yang diberikan:
wmctrl -ia $gnome_term_winid
ID jendela yang diberikan gnome-terminaljuga dapat ditampilkan dari terminal dengan mengetik:
echo $WINDOWID
Setelah memutakhirkan ke Ubuntu 17.10, ini tidak lagi terjadi. Pertama, echo $WINDOWIDtidak memberikan apa-apa, dan juga wmctrl -lxtidak menunjukkan gnome-terminaljendela apa pun .