以下带你在Ubuntu 18.04操作系统下优化WorkSpace,只需要一个Workspace Grid插件就可以使你的操作更便捷。
背景 作为开发人员,我们经常会同时打开多个窗口,来回切换很是麻烦。当然,如果你面前摆了很多个显示器的话,可能根本就不需要使用WorkSpace。可是我通常是一个笔记本加一个外接显示器,所以使用到WorkSpace的频率还是很高的。之前在Ubuntu 16.04系统的时候,可以上下左右切换,很灵活,Windows 10和Mac上都是左右切换。Ubuntu 18.04默认的WorkSpace是上下切换的,用起来很不习惯,所以要改一下,其实就是安装个Workspace Grid插件就好了。
下载及安装Workspace Grid插件 1.下载workspace-grid插件相关链接 2.如果之前没有安装过gnome插件的话,请先安装gnome-tweaks,在Ubuntu的应用商店中搜索gnome-tweaks,安装即可。 3.附两种安装方法参考: 1].Download the .zip file on the Downloads page. 2].Open gnome-tweak-tool, go to "Shell Extensions", "Install Extension" and select the .zip file. 或者: 1].Visit https://extensions.gnome.org/extension/484/workspace-grid/ 2].Install by clicking the toggle switch 4.安装完成后打开gnome-tweaks,在Tweaks中的Extensions标签下就可以看到了,具体怎么配置,自己去改好了,看下图:
最后看下效果图:
后续部分 通过安装Workspace Grid插件后就可以通过Ctrl+Alt+Left、Ctrl+Alt+Right、Ctrl+Alt+Up、Ctrl+Alt+Down快捷键切换WorkSpace了。 不过以上快捷键可能会和JetBrain IDE的部分快捷键冲突,具体解决办法,请看Ubuntu 18.04和JetBrain IDE快捷键冲突的解决方法。 当然,对于一些笔记本用户,我们可能习惯使用触摸板去切换,这个也有办法,请看在Ubuntu 18.04系统中搞定触摸板多点触控。
相关主题 |