I have gnome-shell-extensions-common from Fedora installed ( https://admin.fedoraproject.org/pkgdb/builds/show/F-16-x86_64/gnome-shell-extensions-common/0/3.0.2/1.g63dd27cgit.fc16/noarch?_csrf_token=713cc4954d5d404dcab0164dcdf14ee19f83def9 converted with alien). With it, any installed extension package shows up in org.gnome.shell.extensions in dconf-editor (or gsettings from command line). I have the gnome-shell-extensions-user-theme too (see extension packages at https://admin.fedoraproject.org/pkgdb/builds/search/gnome-shell-extensions?_csrf_token=713cc4954d5d404dcab0164dcdf14ee19f83def9 ).
-- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/1313253505.3232.7.camel@debian.athlon
