Ridimensionare istantaneamente le finestre a una particolare larghezza e altezza

Per qualche motivo, desidero ridimensionare una finestra di dimensioni molto grandi, 4-5 volte più grandi delle dimensioni del mio schermo. Per ora, lo sto facendo manualmente spostando l'intera finestra ma un angolo fuori dallo schermo e quindi tirando l'angolo per espandere la finestra. Tuttavia, ci vuole molto tempo. C'è un modo per ridimensionare istantaneamente la finestra a una particolare altezza e larghezza? (forse dalla riga di comando o con l'aiuto di qualche piccola app o qualcos'altro)

Propongo due soluzioni

wmctrl

Installa il wmctrlpacchetto, quindi puoi ridimensionare la tua finestra con

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

dove stringè una sottostringa del titolo della finestra, (left,up)sono le coordinate dello schermo desiderate nell'angolo in alto a sinistra della finestra e (width,height)sono le dimensioni della finestra desiderata.

Per una scelta più precisa della finestra, esegui wmctrl -l, che ti fornirà un elenco di record contenente l'ID della finestra, il numero dello schermo e il titolo della finestra. Quindi puoi ridimensionare una finestra particolare per ID con

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

Maggiori informazioni nella wmctrlpagina man.

devilspie

Installa il pacchetto devilspie, quindi crea la cartella ~/.devilspiee un file my-name.dsin questa cartella, con contenuto:

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

quindi esegui devilspieper ridimensionare la tua finestra.