出于某种原因,我希望将窗口调整为非常大的尺寸,比我的屏幕尺寸大 4-5 倍。现在,我通过将整个窗口移动到屏幕外的一个角,然后拉动角以展开窗口来手动执行此操作。然而,这非常耗时。有什么方法可以立即将窗口大小调整为特定的高度和宽度吗?(也许从命令行或在一些小应用程序或其他东西的帮助下)
enz*_*tib 34
我提出两种解决方案
安装wmctrl软件包,然后您可以调整窗口大小
wmctrl -r string -e 0,left,up,width,height
Run Code Online (Sandbox Code Playgroud)
其中string是窗口标题的子字符串,是窗口(left,up)左上角所需的屏幕坐标,以及(width,height)所需窗口的尺寸。
要获得更精确的窗口选择,请运行wmctrl -l,它将为您提供包含窗口 ID、屏幕编号和窗口标题的记录列表。然后您可以通过 ID 调整特定窗口的大小
wmctrl -i -r ID -e 0,left,up,width,height
Run Code Online (Sandbox Code Playgroud)
wmctrl手册页中的更多信息。
安装包devilspie,然后在该文件夹中创建文件夹~/.devilspie和my-name.ds文件,内容为:
(if (is (window_name) "My Window") (geometry "widthxheight+left+up"))
Run Code Online (Sandbox Code Playgroud)
然后执行devilspie以调整窗口大小。