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