Cambiar el tamaño de las ventanas a un ancho y alto particular al instante

Por alguna razón, deseo cambiar el tamaño de una ventana a un tamaño muy grande, 4-5 veces más grande que el tamaño de mi pantalla. Por ahora, lo estoy haciendo manualmente moviendo toda la ventana pero una esquina fuera de la pantalla y luego tirando de la esquina para expandir la ventana. Sin embargo, esto lleva mucho tiempo. ¿Hay alguna forma de cambiar el tamaño de la ventana a una altura y ancho particulares al instante? (tal vez desde la línea de comandos o con la ayuda de alguna aplicación pequeña u otra cosa)

Propongo dos soluciones

wmctrl

Instale el wmctrlpaquete, luego puede cambiar el tamaño de su ventana con

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

donde stringes una subcadena del título de la ventana, (left,up)son las coordenadas de pantalla deseadas de la esquina superior izquierda de la ventana y (width,height)son las dimensiones deseadas de la ventana.

Para una elección de ventana más precisa, ejecute wmctrl -l, que le dará una lista de registros que contienen la ID de la ventana, el número de pantalla y el título de la ventana. Luego puede cambiar el tamaño de una ventana en particular por ID con

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

Más información en la wmctrlpágina man.

Devilspie

Instale el paquete devilspie, luego cree la carpeta ~/.devilspiey un archivo my-name.dsen esta carpeta, con contenido:

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

luego ejecute devilspiepara cambiar el tamaño de su ventana.