Matthias Clasen writes:
On Mon, 2015-05-11 at 23:57 +0200, Pierre-Yves Luyten wrote:
> Matthias Clasen writes:
>
> Quite easy, but user has to know there is a tweak tool. Unless he
> goes
> reading about GNOME blogs, news, and so, this will remain an unknown
> fact.
>
> Searching for "setting" will not reveal it (when not installed ; it
> will
> once installed).
>
Have you tried this ? I have. It works just fine, Tweak tool shows up
among the search results when searching for 'settings', regardless
whether it is installed or not.
Sorry it appears to be a locale issue. The fact it appears once
installed made me skip this assumption - I was wrong.
--
Pierre-Yves Luyten