Trong Ubuntu 17.04 tôi có thể sử dụng wmctrlđể chuyển sang cửa sổ gnome-terminal với ID cửa sổ đã cho:
wmctrl -ia $gnome_term_winid
ID cửa sổ của một cái gnome-terminalcũng có thể được hiển thị từ thiết bị đầu cuối bằng cách gõ:
echo $WINDOWID
Sau khi nâng cấp lên Ubuntu 17.10, đây không còn là trường hợp nữa. Đầu tiên, echo $WINDOWIDkhông cung cấp gì, và cũng wmctrl -lxkhông hiển thị bất kỳ gnome-terminalcửa sổ nào .