我的 Ubuntu 13.04 上有两个用户。他们都使用来自 PPA 的 GNOME Shell 3.8。我的问题是，对于我的一个用户，GNOME Shell 中的搜索工具无法正常工作。例如，搜索“libre”不会返回任何 LibreOffice 软件套件。对于另一个用户，它工作正常。
我尝试重新安装 LibreOffice，没有变化。我还尝试根据以下方法重置 GNOME Shell：如何将 GNOME 重置为默认值？也未导致任何变化。
任何想法？
GNOME Shell 3.8 中的搜索结果
我的 Ubuntu 13.04 上有两个用户。他们都使用来自 PPA 的 GNOME Shell 3.8。我的问题是，对于我的一个用户，GNOME Shell 中的搜索工具无法正常工作。例如，搜索“libre”不会返回任何 LibreOffice 软件套件。对于另一个用户，它工作正常。
我尝试重新安装 LibreOffice，没有变化。我还尝试根据以下方法重置 GNOME Shell：如何将 GNOME 重置为默认值？也未导致任何变化。
任何想法？