Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 395733 - gnome-tweak-tool: "user-theme" extension no longer detected since =gnome-shell-extensions-3.2.2
Summary: gnome-tweak-tool: "user-theme" extension no longer detected since =gnome-shel...
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: [OLD] GNOME (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Linux Gnome Desktop Team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2011-12-22 22:52 UTC by Stefan Zwanenburg
Modified: 2011-12-26 04:16 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
Fix-user-theme-extension-UUID.patch (0001-Fix-user-theme-extension-UUID.patch,1.16 KB, patch)
2011-12-22 22:55 UTC, Stefan Zwanenburg
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Stefan Zwanenburg 2011-12-22 22:52:37 UTC
Upstream bug: https://bugzilla.gnome.org/show_bug.cgi?id=664655
Upstream git diff for fix: http://git.gnome.org/browse/gnome-tweak-tool/commit/?id=af33b09d1f21eb3698c4977a4345b6badbefccc2

As can be seen from the upstream bug report, gnome-tweak-tool fails to detect the "user-theme" extension, as extension UUIDs have changed since =gnome-extra/gnome-shell-extensions-3.2.2 (from gnome-shell-extensions.gnome.org to gnome-shell-extensions.gcampax.github.com).

I will attach the upstream patch here, just in case anything happens to it.

Reproducible: Always
Comment 1 Stefan Zwanenburg 2011-12-22 22:55:33 UTC
Created attachment 296701 [details, diff]
Fix-user-theme-extension-UUID.patch
Comment 2 Alexandre Rostovtsev (RETIRED) gentoo-dev 2011-12-26 04:16:49 UTC
Fixed, thanks for reporting!

>*gnome-tweak-tool-3.2.2-r1 (26 Dec 2011)
> 
>  26 Dec 2011; Alexandre Rostovtsev (tetromino) <tetromino@gmail.com>
>  +gnome-tweak-tool-3.2.2-r1.ebuild,
>  +files/gnome-tweak-tool-3.2.2-user-theme-ext-id.patch:
>  Update for new user theme extension ID in gnome-shell-extensions-3.2.2 (bug
>  #395733, thanks to Stefan Zwanenburg for reporting).