f20 - gnome-tweak-tools?

[Robert Moskowitz]

On 12/19/2013 06:15 PM, Steven Stern wrote:
> On 12/19/2013 05:05 PM, Robert Moskowitz wrote:
>> So I have been reading up release notes on f20 which leads me to release
>> notes of gnome 3.10 and....
>>
>> http://docs.fedoraproject.org/en-US/Fedora/20/html/Release_Notes/sect-Release_Notes-Changes_for_Desktop.html
>>
>>
>> 3.1.4 discusses gnome-tweak-tool
>>
>> No gnome-tweak-tool installed.
>>
>> so
>>
>> yum provides gnome-tweak-tool
>>
>> and
>>
>> No matches found
>>
>> What happened?????  Who stole it?  ;)
>>
>>
>>
>>
> Yum install gnome-tweak-tool
>
> You search should  have been
>
> [sdstern at sds-desk-2 ~]$ yum provides "*/gnome-tweak-tool"
> 00:00
> gnome-tweak-tool-3.10.1-2.fc20.noarch : A tool to customize advanced GNOME 3
>                                        : options
> Repo        : fedora
> Matched from:
> Filename    : /usr/share/doc/gnome-tweak-tool
> Filename    : /usr/share/gnome-tweak-tool
> Filename    : /usr/bin/gnome-tweak-tool

Doesn't work for me; and I tried using the public mirrors, not my local 
repo.  Further on:

http://mirrors.kernel.org/fedora/releases/20/Fedora/i386/os/Packages/g/
and
http://mirrors.kernel.org/fedora/releases/20/Fedora/x86_64/os/Packages/g/

no gnome-tweak-tools