No Ubuntu 17.04, eu poderia usar wmctrl
para alternar para uma janela do terminal gnome com o ID da janela:
wmctrl -ia $gnome_term_winid
O ID da janela de um dado gnome-terminal
também pode ser exibido no terminal digitando:
echo $WINDOWID
Após a atualização para o Ubuntu 17.10, esse não é mais o caso. Primeiro, echo $WINDOWID
não dá nada e também wmctrl -lx
não mostra nenhuma gnome-terminal
janela.