前言
由于更换了PC平台(INTEL -> AMD),之前的Ubuntu系统会出现各种各样的兼容性问题,因此决定重装系统;但是重装系统是有代价的:环境又要重新配置!
这可能会作为一个系列,记录一下我客制化Ubuntu下的一些经历,仅供参考;
gnome-shell-extension基础工具安装
由于安装的是Ubuntu18.04,桌面默认已经改回gnome,因此可以跳过安装gnome-desktop环境的步骤;
直接安装gnome-shell环境与设置界面:
sudo apt install gnome-shell gnome-tweaks
安装后打开gnome-tweaks,选择Extensions栏,则可查看当前可用的扩展组件;
扩展组件安装
出去Ubuntu自带的几种扩展意外,其余更多扩展组件需要到https://extensions.gnome.org/ 中去下载对应版本;
查看当前gnome-shell版本可通过:
gnome-shell --version
查看;
下载安装途径有二:
1、使用浏览器扩展组件自动安装,这个网上有大量介绍,并且比较简单,就不再不赘述;
Firefox浏览器通过网页点击网页https://extensions.gnome.org/上的“Click here to install browser extension”直接安装;(推荐使用Firefox安装)
Chrome浏览器通过apt安装扩展后使用:sudo apt install chrome-gnome-shell(但我觉得不太稳定,与Chrome版本强相关)
2、下载本地包后手动安装,这部分的资料比较少,因此着重介绍一下:
a. 选择需要下载的组件,并选择对应的版本;
b. 下载后解压;
c. 将解压后的目录移到:~/.local/share/gnome-shell/extensions/ 下;
d. 打开对应扩展目录下的metadata.json文件,查看uuid;
e. 重命名刚才移过来的目录名为uuid中的内容;
f. 关闭并重新打开gnome-tweaks;
g. 如果仍然没有刷出来,使用alt + F2调出gnome-shell的命令行,并输入r后回车;然后重复步骤f;
常见问题:
1. tweak: Appearance - Shell显示Shell user-theme extension not enabled
这是因为user-theme没有启用的原因;
解决方法:按照上述步骤安装user theme即可:https://extensions.gnome.org/extension/19/user-themes/
2. 个人推荐安装:
dash to dock
places menu
user theme