在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
谢谢,我在启动板上报告了关于此的错误1725991。
—
N0rbert