要安装 GNOME 扩展,最常用的方法可能是使用官方 GNOME 扩展索引经过一些配置(非常详细的解释这里)。
尽管如此,当它来自通过命令行安装它们解释表明,只需提取适当版本的 zip 文件~/.local/share/gnome-shell/extensions/
并重新启动 shell 就足够了。
然而,我对此表示怀疑。我的意思是,当我们在扩展页面打开切换器时扩展程序.gnome.org,然后点击安装,这样就安装完成了吗?
我有编写了此过程的脚本升级到新版本后自动安装扩展系统安装的20.04Focal Fossa,并观察到某些扩展不可用,甚至从站点的角度来看,即使整个系统(以及随之而来的 shell)重新启动后也是如此。
所以我来这里是为了澄清一下,如何通过 CLI 正确安装 GNOME 扩展?GNOME 3.36.2?