Mengubah ukuran jendela menjadi lebar dan tinggi tertentu secara instan

Untuk beberapa alasan, saya ingin mengubah ukuran jendela ke ukuran yang sangat besar, 4-5 kali lebih besar dari ukuran layar saya. Untuk saat ini, saya melakukannya secara manual dengan menggerakkan seluruh jendela tetapi satu sudut keluar dari layar dan kemudian menarik sudut untuk memperluas jendela. Namun, ini sangat memakan waktu. Apakah ada cara untuk mengubah ukuran jendela ke ketinggian dan lebar tertentu secara instan? (mungkin dari commandline atau dengan bantuan beberapa aplikasi kecil atau sesuatu yang lain)

Saya mengusulkan dua solusi

wmctrl

Instal wmctrlpaketnya, lalu Anda dapat mengubah ukuran jendela

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

di mana stringadalah substring dari judul jendela, (left,up)adalah koordinat layar yang diinginkan dari sudut jendela kiri atas, dan (width,height)dimensi jendela yang diinginkan.

Untuk pilihan jendela yang lebih tepat, jalankan wmctrl -l, yang akan memberi Anda daftar catatan yang berisi ID jendela, nomor layar dan judul jendela. Kemudian Anda dapat mengubah ukuran jendela tertentu dengan ID dengan

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

Informasi lebih lanjut di wmctrlhalaman manual.

devilspie

Instal paket devilspie, lalu buat folder ~/.devilspiedan file my-name.dsdi folder ini, dengan konten:

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

kemudian jalankan devilspieuntuk mengubah ukuran jendela Anda.