Ubuntu18.04安装gnome shell extensions

  • 什么是gnome shell extensions?
  • 步骤 1: 安装 浏览器附加组件
  • 步骤 2: 安装本地连接器
  • 步骤 3: 在 Web 浏览器中安装 GNOME Shell 扩展
  • 步骤4:使用GNOME Tweaks Tool 中配置通过 Web 浏览器安装的扩展

什么是gnome shell extensions?

简单来说可以把它看作是你的浏览器的一个附加组件。
根本上来说是增强 GNOME 桌面功能的一小段代码。

安装方式

有三种方式可以安装 gnome shell extensions:

  1. 在 Web 浏览器中查找并安装扩展程序
  2. 使用来自 Ubuntu (或你的 Linux 发行版)的最小扩展集
  3. 下载手动安装扩展

本文介绍第一种最为常用的方法


步骤 1: 安装 浏览器附加组件

选择自己的浏览器对应组件

对于 Google Chrome、Chromium 和 Vivaldi: Chrome Web 商店
对于 Firefox: Mozilla Addons
对于 Opera: Opera Addons

Ubuntu18.04安装gnome shell extensions_第1张图片


步骤 2: 安装本地连接器

ctrl+alt+t 打开终端

输入命令:

sudo apt install chrome-gnome-shell

Ubuntu18.04安装gnome shell extensions_第2张图片


步骤 3: 在 Web 浏览器中安装 GNOME Shell 扩展

gnome shell extensions

选择安装你需要的插件
Ubuntu18.04安装gnome shell extensions_第3张图片

可以使用搜索功能,如dash to dock

Ubuntu18.04安装gnome shell extensions_第4张图片


步骤4:使用GNOME Tweaks Tool 中配置通过 Web 浏览器安装的扩展

如何安装Tweaks(参考之前的文章)

Ubuntu18.04安装gnome shell extensions_第5张图片

参考:如何使用GNOME Shell 扩展

你可能感兴趣的:(ubuntu)