Redimensionnement instantané des fenêtres à une largeur et une hauteur particulières

Pour une raison quelconque, je souhaite redimensionner une fenêtre à une très grande taille, 4 à 5 fois plus grande que la taille de mon écran. Pour l'instant, je le fais manuellement en déplaçant la fenêtre entière, mais un coin hors de l'écran, puis en tirant le coin pour agrandir la fenêtre. Cependant, cela prend beaucoup de temps. Existe-t-il un moyen de redimensionner la fenêtre à une hauteur et une largeur particulières instantanément? (peut-être à partir de la ligne de commande ou à l'aide d'une petite application ou autre chose)

Je propose deux solutions

wmctrl

Installez le wmctrlpackage, puis vous pouvez redimensionner votre fenêtre avec

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

où stringest une sous-chaîne du titre de la fenêtre, (left,up)sont les coordonnées d'écran souhaitées du coin supérieur gauche de la fenêtre et (width,height)les dimensions de la fenêtre souhaitée.

Pour un choix de fenêtre plus précis, exécutez wmctrl -l, qui vous donnera une liste d'enregistrements contenant l'ID de la fenêtre, le numéro de l'écran et le titre de la fenêtre. Ensuite, vous pouvez redimensionner une fenêtre particulière par ID avec

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

Plus d'informations dans la wmctrlpage de manuel.

devilspie

Installez le package devilspie, puis créez le dossier ~/.devilspieet un fichier my-name.dsdans ce dossier, avec le contenu:

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

puis exécutez devilspiepour redimensionner votre fenêtre.