ใน 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