ปรับขนาดหน้าต่างให้กว้างและสูงโดยเฉพาะทันที

ด้วยเหตุผลบางอย่างฉันต้องการปรับขนาดหน้าต่างเป็นขนาดใหญ่มากใหญ่กว่าหน้าจอของฉัน 4-5 เท่า สำหรับตอนนี้ฉันกำลังทำด้วยตนเองด้วยการย้ายทั้งหน้าต่าง แต่มุมหนึ่งออกจากหน้าจอแล้วดึงมุมเพื่อขยายหน้าต่าง อย่างไรก็ตามนี่ใช้เวลานานมาก มีวิธีการปรับขนาดหน้าต่างเป็นความสูงและความกว้างโดยเฉพาะอย่างยิ่งในทันที? (อาจมาจาก commandline หรือด้วยความช่วยเหลือของแอพขนาดเล็กหรืออย่างอื่น)

ฉันเสนอวิธีแก้ไขปัญหาสองข้อ

wmctrl

ติดตั้งwmctrlแพ็คเกจจากนั้นคุณสามารถปรับขนาดหน้าต่างด้วย

wmctrl -r string -e 0,left,up,width,height

โดยที่stringsubstring ของชื่อหน้าต่างเป็น(left,up)พิกัดหน้าจอที่ต้องการของมุมหน้าต่างด้านซ้ายบนและ(width,height)เป็นขนาดของหน้าต่างที่ต้องการ

สำหรับตัวเลือกของหน้าต่างที่แม่นยำยิ่งขึ้นให้เรียกใช้wmctrl -lซึ่งจะให้รายการของระเบียนที่มี ID หน้าต่างหมายเลขหน้าจอและชื่อของหน้าต่าง จากนั้นคุณสามารถปรับขนาดหน้าต่างโดยใช้ ID ด้วย

wmctrl -i -r ID -e 0,left,up,width,hight

ข้อมูลเพิ่มเติมในwmctrlหน้าคน

devilspie

ติดตั้งแพคเกจdevilspieจากนั้นสร้างโฟลเดอร์~/.devilspieและไฟล์my-name.dsในโฟลเดอร์นี้ด้วยเนื้อหา:

(if (is (window_name) "My Window") (geometry "widthxheight+left+up"))

จากนั้นดำเนินการdevilspieเพื่อปรับขนาดหน้าต่างของคุณ