Je veux redimensionner la fenêtre d'un jeu à 1280x720. J'ai essayé avec wctrl et xdotools mais cela ne fonctionnait pas. J'utilise 15.04.
Voici une vidéo montrant le problème.
En regardant votre film Youtube, il m'est venu à l'esprit que vous utilisez la commande:
wmctrl -r <window_id> -e 0,0,0,1280,720
Vous pouvez utiliser la commande comme ça lorsque vous utilisez un windowname comme identifictaion. Si vous utilisez cependant window-id, ressemblant à 0x02c00042
, vous devez utiliser le -i
drapeau pour le faire fonctionner.
La commande doit alors être:
wmctrl -ir <window_id> -e 0,0,0,1280,720
Dans le même film, vous avez d'abord essayé avec la commande:
wmctrl -r <window_name> -e 0,0,0,1280,720
La commande en fait ne fonctionne ...
... mais pas sur la fenêtre que vous visiez. Si vous regardez attentivement la liste des fenêtres, il existe une autre fenêtre avec la chaîne Minecraft
dans son nom: ~/Documents/Minecraft
. Cette fenêtre est plus haut dans la liste et minimisée.
La commande wmctrl -r <window_name> -e 0,0,0,1280,720
ne redimensionne cette fenêtre, mais comme elle est toujours minimisée, vous n'avez pas remarqué la différence. La commande ne change pas l'état d'une fenêtre de réduit à normal.