W Ubuntu 17.04 mogłem użyć wmctrl
do przejścia do okna terminalu gnome o podanym identyfikatorze okna:
wmctrl -ia $gnome_term_winid
Identyfikator okna danego gnome-terminal
można również wyświetlić z terminala, wpisując:
echo $WINDOWID
Po aktualizacji do Ubuntu 17.10 już tak nie jest. Po pierwsze, echo $WINDOWID
nie daje nic, a także wmctrl -lx
nie pokazuje żadnych gnome-terminal
okien.