Ubuntu18.04安装gnome shell extensions


什么是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

在这里插入图片描述


步骤 2: 安装本地连接器

ctrl+alt+t 打开终端

输入命令:

sudo apt install chrome-gnome-shell

在这里插入图片描述


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

gnome shell extensions

选择安装你需要的插件
在这里插入图片描述

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

在这里插入图片描述


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

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

在这里插入图片描述

参考:如何使用GNOME Shell 扩展

猜你喜欢

转载自blog.csdn.net/zjfahs/article/details/82812843