Изменение размеров окна до определенной ширины и высоты мгновенно
По какой-то причине я хочу изменить размер окна до очень большого размера, в 4-5 раз превышающего мой размер экрана. Сейчас я делаю это вручную, перемещая все окно, но один угол за пределы экрана, а затем вытягивая его, чтобы расширить окно. Тем не менее, это очень много времени. Есть ли способ мгновенно изменить размер окна до определенной высоты и ширины? (возможно из командной строки или с помощью небольшого приложения или чего-то еще)
1 ответ
Я предлагаю два решения
wmctrl
Установите пакет wmctrl, затем вы можете изменить размер окна с помощью
wmctrl -r string -e 0,left,up,width,height
, где string - подстрока заголовка окна (left,up) - желаемые координаты экрана верхнего левого угла окна, а (width,height) - желаемые размеры окна.
Для более точного выбора окна, запустите wmctrl -l, который даст вам список записей, содержащих идентификатор окна, номер экрана и заголовок окна. Затем вы можете изменить размер определенного окна по идентификатору с помощью
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 ] чтобы изменить размер окна.