Tweak Tool in Workstation?

[Matthias Clasen]

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.