Ask Ubuntu is a question and answer site for Ubuntu users and developers. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have two users on my Ubuntu 13.04. Both use GNOME Shell 3.8 from the PPA. The problem I have is that with one of my user, the search tool in GNOME Shell does not work well. For example, searching for "libre" won't return me any of the LibreOffice software suite. With the other user, it works well.

I tried to reinstall LibreOffice, no changes. I also tried to reset GNOME Shell according to How do I reset GNOME to the defaults? also resulting in no changes.

Any idea?

share|improve this question

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.