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-terminal
cũ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 $WINDOWID
không cung cấp gì, và cũng wmctrl -lx
không hiển thị bất kỳ gnome-terminal
cửa sổ nào .