In Ubuntu 17.04 konnte ich wmctrl
auf ein Gnome-Terminal-Fenster mit der angegebenen Fenster-ID wechseln:
wmctrl -ia $gnome_term_winid
Die Fenster-ID eines bestimmten Fensters gnome-terminal
kann auch vom Terminal aus angezeigt werden, indem Sie Folgendes eingeben:
echo $WINDOWID
Nach dem Upgrade auf Ubuntu 17.10 ist dies nicht mehr der Fall. Erstens echo $WINDOWID
gibt es nichts und zeigt auch wmctrl -lx
keine gnome-terminal
Fenster.