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 re install 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
add comment

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
add comment

Your Answer

 
discard

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.