出于某种原因,我希望将一个窗口调整到一个非常大的大小,比我的屏幕大4-5倍。现在,我是手动地移动整个窗口,但一个角落出屏幕,然后拉角,以扩大窗口。不过,这是很费时的。是否有办法立即将窗口调整到特定的高度和宽度?(可能来自命令行,也可能是借助一些小型应用程序或其他东西)
发布于 2012-01-12 13:45:51
我提出两种解决方案
安装wmctrl包,然后可以用
wmctrl -r string -e 0,left,up,width,height其中string是窗口标题的子字符串,(left,up)是左上角的所需屏幕坐标,(width,height)是所需窗口的尺寸。
要获得更精确的窗口选择,请运行wmctrl -l,它将为您提供一个包含窗口ID、屏幕编号和窗口标题的记录列表。然后,您可以通过ID调整特定窗口的大小。
wmctrl -i -r ID -e 0,left,up,width,heightwmctrl手册页面中的更多信息。
安装包devilspie,然后在该文件夹中创建文件夹~/.devilspie和文件my-name.ds,内容如下:
(if (is (window_name) "My Window") (geometry "widthxheight+left+up"))然后执行devilspie来调整窗口的大小。
https://askubuntu.com/questions/94859
复制相似问题