Gnome shell 扩展参数位置

Gnome shell extension parameters location

更多的是用户问题,我想知道 Gnome 存储在哪里 Shell 扩展参数,我的意思是每个扩展的用户特定参数?

更具体地说,这里有一个例子:我在我以前的系统上安装了 Media Player Indicator,我花时间想出了一个漂亮的 Pango 标记脚本来按照我想要的方式显示我的音乐。 我在硬盘驱动器上有一个完整的系统备份,现在我想在我的新 gnome shell 中重用这个脚本。 我复制粘贴了 ~/.local/share/gnome-shell/extensions/mediaplayer@patapon.info 文件夹以获取扩展名,但没有保留任何参数,我相信那些没有存储在那里。

Gnome Shell 扩展仅限于 Gnome API, which means they could store settings in files, GSettings 或使用任何其他 API。没有用于扩展设置的特殊存储位置,尽管文件有 ~/.config/<name>~/.local/share/<name> 和 GSettings /org/gnome/shell/extensions/<name> 等约定。

您必须调查您拥有的每个扩展程序或请求扩展程序开发人员包含备份功能。