如何在 Ubuntu 18.04 中刷新 Dconf 编辑器?

如何在 Ubuntu 18.04 中刷新 Dconf 编辑器?

从以下位置删除不需要的 GNOME shell 扩展 xxxxx 后:

  • /usr/share/gnome-shell/extensions
  • ~/.local/share/gnome-shell/extensions

/usr/share/glib-2.0/schemas/并使用如下命令删除它的模式:

$ sudo rm org.gnome.shell.extensions.xxxxx.gschema.xml

并重新编译/usr/share/glib-2.0/schemas/

sudo glib-compile-schemas /usr/share/glib-2.0/schemas/

按下Alt+F2r+后Return,我注意到Dconf Editor有时仍然显示已删除的 GNOME shell 扩展。

问题:我如何确保刷新内容Dconf Editor以使被删除的扩展名 xxxxx 不会出现?

答案1

你不应该手动删除不需要的 gnome-shell-extensions 文件。你应该从 Ubuntu 软件或通过命令行删除它

例如.. 一些通过 Ubuntu 软件的扩展.. 一些通过命令行..

即使通过 Ubuntu 软件或命令行删除后,如果架构仍然显示在 dconf-editor 上,您应该手动单击该键并查看特定键/键

在此处输入图片描述

在此处输入图片描述

相关内容