Изменение размеров окна до определенной ширины и высоты мгновенно

По какой-то причине я хочу изменить размер окна до очень большого размера, в 4-5 раз превышающего мой размер экрана. Сейчас я делаю это вручную, перемещая все окно, но один угол за пределы экрана, а затем вытягивая его, чтобы расширить окно. Тем не менее, это очень много времени. Есть ли способ мгновенно изменить размер окна до определенной высоты и ширины? (возможно из командной строки или с помощью небольшого приложения или чего-то еще)

Я предлагаю два решения

wmctrl

Установите wmctrlпакет, тогда вы можете изменить размер окна с помощью

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

где stringподстрока заголовка окна, (left,up)требуемые экранные координаты левого верхнего угла (width,height)окна и размеры желаемого окна.

Для более точного выбора окна, запустите wmctrl -l, что даст вам список записей, содержащих идентификатор окна, номер экрана и заголовок окна. Затем вы можете изменить размер конкретного окна по ID с

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

Больше информации на wmctrlстранице руководства.

devilspie

Установите пакет devilspie, затем создайте папку ~/.devilspieи файл my-name.dsв этой папке с содержимым:

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

затем выполните, devilspieчтобы изменить размер окна.