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