Я хочу изменить размер окна игры к 1280x720. Я попробовал wctrl и xdotools, но он не работал. Я использую 15.04.
Вот видео, показывающее проблему.
окна, Смотрящим фильм YouTube пришло в голову мне, что Вы используете команду:
wmctrl -r <window_id> -e 0,0,0,1280,720
можно использовать команду как этот, когда Вы используете windowname как identifictaion. Если Вы однако используете идентификатор окна , будучи похож 0x02c00042
, необходимо использовать эти -i
флаг, чтобы заставить его работать.
команда должна тогда быть:
wmctrl -ir <window_id> -e 0,0,0,1280,720
В том же фильме, Вы сначала попробовали командой:
wmctrl -r <window_name> -e 0,0,0,1280,720
команда на самом деле сделала работа...
..., но не на окне Вы были нацелены в. Если Вы тесно изучаете список окна, существует другое окно со строкой Minecraft
на ее имя: ~/Documents/Minecraft
. Это окно выше в списке и минимизированное.
команда wmctrl -r <window_name> -e 0,0,0,1280,720
делает , изменяют размеры того окна, но так как это все еще минимизировано, Вы не заметили различия. Команда не изменяет состояние окна от минимизированного до нормального.