Thay đổi kích thước cửa sổ thành chiều rộng và chiều cao cụ thể ngay lập tức

Vì một số lý do, tôi muốn thay đổi kích thước cửa sổ thành kích thước rất lớn, lớn hơn 4-5 lần so với kích thước màn hình của tôi. Hiện tại, tôi đang thực hiện thủ công bằng cách di chuyển toàn bộ cửa sổ nhưng một góc ra khỏi màn hình và sau đó kéo góc để mở rộng cửa sổ. Tuy nhiên, điều này rất mất thời gian. Có cách nào để thay đổi kích thước cửa sổ thành một chiều cao và chiều rộng cụ thể ngay lập tức không? (có lẽ từ dòng lệnh hoặc với sự trợ giúp của một số ứng dụng nhỏ hoặc một cái gì đó khác)

Tôi đề xuất hai giải pháp

wmctrl

Cài đặt wmctrlgói, sau đó bạn có thể thay đổi kích thước cửa sổ của bạn với

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

trong đó stringmột chuỗi con của tiêu đề của cửa sổ, (left,up)là tọa độ màn hình mong muốn của góc trên của cửa sổ bên trái và (width,height)là kích thước của cửa sổ mong muốn.

Đối với lựa chọn cửa sổ chính xác hơn, hãy chạy wmctrl -l, nó sẽ cung cấp cho bạn một danh sách các bản ghi chứa ID của cửa sổ, số màn hình và tiêu đề của cửa sổ. Sau đó, bạn có thể thay đổi kích thước một cửa sổ cụ thể bằng ID bằng

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

Thêm thông tin trong wmctrltrang người đàn ông.

quỷ dữ

Cài đặt gói devilspie, sau đó tạo thư mục ~/.devilspievà tệp my-name.dstrong thư mục này, với nội dung:

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

sau đó thực hiện devilspieđể thay đổi kích thước cửa sổ của bạn.