我正在寻找一种在 Ubuntu 18.04(Gnome Shell 3.28)上使用键盘快捷键将窗口移动到屏幕角落(左上、上、右上角、右、右下、下、左下、左、最大化) .3)。
我试过的不起作用:
- 在设置/键盘快捷键中,无法将窗口移动到角落,只能在屏幕、工作区等之间移动
- “CompizConfig 设置管理器”允许启用“网格”并设置键盘绑定,但按下时它们没有任何效果
- 在 Ubuntu 18.04 之前,我使用了 quicktile ( https://github.com/ssokolow/quicktile ),但它不再正常工作,而且它非常臃肿并且卡在 Python 2 上
我可以编写一个(最好是 Python)脚本来像 quicktile 那样移动窗口(现在我应该使用哪个高级显示库)?