ใน Ubuntu 17.04 ฉันสามารถใช้wmctrlสลับหน้าต่าง gnome-terminal ที่มี ID หน้าต่างที่กำหนด:
wmctrl -ia $gnome_term_winid
ID หน้าต่างของที่กำหนดgnome-terminalสามารถแสดงได้จากเทอร์มินัลโดยพิมพ์:
echo $WINDOWID
หลังจากอัปเกรดเป็น Ubuntu 17.10 นี่ไม่ใช่กรณีอีกต่อไป ก่อนอื่นecho $WINDOWIDไม่ทำอะไรเลยและwmctrl -lxไม่แสดงgnome-terminalหน้าต่างใด ๆ
2
ขอบคุณฉันรายงานข้อผิดพลาด 1725991 บน Launchpadเกี่ยวกับเรื่องนั้น
—
N0rbert