Ubuntu 17.04ではwmctrl、指定されたウィンドウIDでgnome-terminalウィンドウに切り替えることができました。
wmctrl -ia $gnome_term_winid
特定のウィンドウIDは、次のgnome-terminalように入力して端末から表示することもできます。
echo $WINDOWID
Ubuntu 17.10にアップグレードした後、これは当てはまりません。まず、echo $WINDOWID何も与えず、ウィンドウも表示wmctrl -lxしませんgnome-terminal。
2
おかげで、Launchpadでバグ1725991について報告しました。
—
N0rbert