Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

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

1 Answer 1

Try Ubuntu Software Centre -> Edit -> Software Sources -> Download from -> Other -> select best server:

then sudo apt-get update, sudo apt-get upgrade and sudo apt-get dist-upgrade.

share|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.