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