我正在寻找一种方法,使用Ubuntu 18.04(Gnome Shell 3.28)上的键盘快捷键将窗口移动到屏幕角落(左上角,上角,右上角,右下角,右下角,底部,左下角,左边,最大化) 0.3)。
我尝试过的东西不起作用:
我可以写一个(最好是Python)脚本来移动像fasttile一样的窗口(我现在应该使用哪个高级显示库)?
似乎“把窗户”https://extensions.gnome.org/extension/39/put-windows/“足够”做到这一点,虽然它有时似乎有点儿麻烦。要通过Chrome安装,您需要先安装这些软件包:
apt-get install chrome-gnome-shell gnome-shell-extensions
我需要重新启动Gnome以使其工作。
我写了一个基本的Python脚本来将窗口移动到屏幕角落,因为我尝试了所有的解决方案(窗口和屏幕角落,窗口意外移动到其他屏幕之间的间隙),因为这样可以完全自定义相关的所有内容: