- 什么是gnome shell extensions?
- 步骤 1: 安装 浏览器附加组件
- 步骤 2: 安装本地连接器
- 步骤 3: 在 Web 浏览器中安装 GNOME Shell 扩展
- 步骤4:使用GNOME Tweaks Tool 中配置通过 Web 浏览器安装的扩展
什么是gnome shell extensions?
简单来说可以把它看作是你的浏览器的一个附加组件。
根本上来说是增强 GNOME 桌面功能的一小段代码。
安装方式
有三种方式可以安装 gnome shell extensions:
- 在 Web 浏览器中查找并安装扩展程序
- 使用来自 Ubuntu (或你的 Linux 发行版)的最小扩展集
- 下载手动安装扩展
本文介绍第一种最为常用的方法
步骤 1: 安装 浏览器附加组件
选择自己的浏览器对应组件
对于 Google Chrome、Chromium 和 Vivaldi: Chrome Web 商店
对于 Firefox: Mozilla Addons
对于 Opera: Opera Addons
步骤 2: 安装本地连接器
ctrl+alt+t 打开终端
输入命令:
sudo apt install chrome-gnome-shell
步骤 3: 在 Web 浏览器中安装 GNOME Shell 扩展
选择安装你需要的插件
可以使用搜索功能,如dash to dock
步骤4:使用GNOME Tweaks Tool 中配置通过 Web 浏览器安装的扩展
如何安装Tweaks(参考之前的文章)