Je veux redimensionner la fenêtre d'un jeu à 1280x720. J'ai essayé avec wctrl et xdotools mais ça ne marche pas. J'utilise la version 15.04.
Voici une vidéo montrant le problème.
Réponse
Trop de publicités?
Utilisez l'option -i si vous exécutez la commande de redimensionnement avec l'identifiant de la fenêtre.
En regardant votre film Youtube, il m'est apparu que vous utilisez la commande :
wmctrl -r <window_id> -e 0,0,0,1280,720Vous pouvez utiliser la commande de cette manière lorsque vous utilisez une nom du vent pour l'identification. Si toutefois vous utilisez le fenêtre-id qui ressemble à 0x02c00042 vous devez utiliser l'option -i pour que cela fonctionne.
La commande devrait alors être :
wmctrl -ir <window_id> -e 0,0,0,1280,720Pourquoi la commande n'a pas fonctionné en utilisant la fenêtre nom
Dans le même film, vous avez d'abord essayé avec la commande :
wmctrl -r <window_name> -e 0,0,0,1280,720En fait, la commande a fait le travail...
...mais pas sur la fenêtre que vous visiez. Si vous regardez attentivement dans la liste des fenêtres, il y a une autre fenêtre avec la chaîne de caractères Minecraft dans son nom : ~/Documents/Minecraft . Cette fenêtre est plus haute dans la liste, et minimisée.
La commande wmctrl -r <window_name> -e 0,0,0,1280,720 fait redimensionner cette fenêtre, mais comme elle est toujours réduite, vous n'avez pas remarqué la différence. La commande ne change pas l'état d'une fenêtre de minimisée à normale.
