In Ubuntu 17.04 I could use wmctrl
to switch to a gnome-terminal window with given window ID:
wmctrl -ia $gnome_term_winid
The window ID of a given gnome-terminal
could also be displayed from the terminal by typing:
echo $WINDOWID
After upgrading to Ubuntu 17.10, this is no longer the case. First, echo $WINDOWID
gives nothing, and also wmctrl -lx
does not show any gnome-terminal
windows.