我想自动安装和配置一个 gnome-shell 扩展,特别是Simpler Off Menu。到目前为止,我所做的是下载扩展,然后使用正确的权限和正确的名称将存档扩展为/usr/share/gnome-shell/extensions/
. 效果是,当我安装并运行 gnome-tweaks 时,我可以看到扩展,但它仍然处于停用状态,并且在激活后仍需要配置。
我找到的所有文档都是关于 GUI 处理的。如何激活和配置一个扩展(或特别是这个扩展),使其与 Ubuntu 默认扩展(桌面图标、Ubuntu AppIndicators、Ubuntu Dock)类似?
dconf
可以使用命令行中的 ' ' 触发 gnome-shell 扩展的激活。有关详细的安装和激活说明,请参阅Gnome 文档。
有关详细的配置说明,请参阅Ask Ubuntu 论坛。