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.

Gnome Do has a by default installed plugin which - when activated - offeres to search your computer. You can decide which directories to search and how deep.

However, you may not index too much since it would get slow then. This is why it would be very beneficial to hide hidden files and hidden directories (e.g. in the home folder).

There is an option in the default plug-in, which should allow to hide/show hidden files. But it's not working.

Is this a bug? What can I do to fix it? A re-install did not help.

I'd like to stay with Gnome Do since I can browse directores with it.

share|improve this question
add comment

1 Answer

up vote 1 down vote accepted

I presume you're talking about the Files and Folders plugin? By default that plugin does not index hidden files or directories - see this screenshot:

Files and Folders configuration pane

Maybe you have accidentally enabled that checkbox?

share|improve this answer
    
That does not make a difference in my case.:-( I guess it's a bug then? I'd better change it in the description. –  user24668 Sep 11 '11 at 7:10
add comment

Your Answer

 
discard

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