我使用的是带有 Gnome 3 桌面的 Ubuntu 20.04。
我确实有一个名为“扩展”的应用程序:
我想知道
- 是否预装了 Ubuntu 20.04
- 换句话说,大多数人都患有这种病吗?
- 或者在我安装时是否已经安装了gnome-shell-extensions 包(主要是关于实际扩展的集合)
- 那么只有安装了此可选包的人才能拥有它吗?
我问这个问题是因为扩展 似乎优先正在设置什么Gnome 调整‘扩展标签。
这使得提供有关管理 gnome shell 扩展的明确帮助变得困难,因为结果似乎取决于此应用程序的存在。
答案1
这是 Gnome Shell 开发人员的实用程序。据apt show
报道,它的主页是https://wiki.gnome.org/Projects/GnomeShell。它是 Universe 存储库的一个软件包,并未预安装。它可以通过软件包明确安装gnome-shell-extension-prefs
,但也可以与官方 Gnome Shell 扩展一起安装,gnome-shell-extension
它是推荐的软件包。在 Ubuntu 中,apt
配置为安装推荐的软件包默认情况下。
答案2
正如我所了解到的@vanadium 的回答,该应用程序名为gnome-shell-extension-prefs
。
在实时 USB 会话中尝试 Ubuntu,最初该应用程序并不存在。
添加Universe
源后,我运行了
sudo apt install gnome-shell-extensions --dry-run
和sudo apt install gnome-tweaks --dry-run
。
我发现gnome-shell-extension-prefs
已经出现在包中将gnome-tweaks
在安装和安装的情况下都已安装gnome-shell-extensions
。(正如@vanadium 指出的那样,这是因为 apt 默认配置为安装推荐的软件包。)
由此看来,我们可以安全地假设,任何人Gnome 调整安装后,扩展应用程序也是如此。
这更奇怪,因为正如我所料成立,扩展可以覆盖调整,而且没有任何提示:设置在调整如果它们与设置相冲突,则不会生效扩展。
只是一个细节:
我记得,一开始(当我还没有的时候gnome-shell-extensions
),能够启用/禁用桌面图标扩展调整。
直到后来,在某个时间点,才重新启用桌面图标变得不可能调整(因为这样就必须用扩展。
在这两次经历之间,我意识到发生了两件事:
- 我已经安装了
gnome-shell-extensions
包 - 我正在尝试
gnome-shell --replace
命令,它禁用了我所有的扩展,并且每个扩展都必须手动重新启用。
不知怎的,我仍然认为,有了上述情况,我已经没有资格可靠地假设其他人的 shell 扩展偏好是如何工作的……