En Ubuntu 17.04 podría usar wmctrl
para cambiar a una ventana gnome-terminal con la ID de ventana dada:
wmctrl -ia $gnome_term_winid
La ID de la ventana de un determinado gnome-terminal
también se puede mostrar desde la terminal escribiendo:
echo $WINDOWID
Después de actualizar a Ubuntu 17.10, este ya no es el caso. Primero, echo $WINDOWID
no da nada y wmctrl -lx
tampoco muestra ninguna gnome-terminal
ventana.