Your message dated Thu, 23 Feb 2012 00:47:28 +0000
with message-id <[email protected]>
and subject line Bug#660428: fixed in gnome-tweak-tool 3.2.2-3
has caused the Debian Bug report #660428,
regarding gnome-shell-extensions: user-theme extension is recognized in
gnome-tweak tool because of a different namespace
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
660428: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=660428
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gnome-shell-extensions
Version: 3.2.3-1
Severity: normal
Dear Maintainer,
all extensions have this weird namespace
gnome-shell-extensions.gcampax.github.com
The gnome-tweak-tool instead thinks the namespace should be
gnome-shell-extensions.gnome.org
Because of this disagreement, the tweak tool thinks user-them is not active and
the combo for specifying a user them is never enabled.
These are the relevant lines in tweak_shell.py:
THEME_EXT_NAME = "[email protected]"
#....
if ShellThemeTweak.THEME_EXT_NAME in extensions and
extensions[ShellThemeTweak.THEME_EXT_NAME]["state"] == 1:
#....
else:
error = _("Shell user-theme extension not enabled")
I think there quite some people going crazy about this out there :-)
-- System Information:
Debian Release: wheezy/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable')
Architecture: amd64 (x86_64)
Kernel: Linux 3.2.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Versions of packages gnome-shell-extensions depends on:
ii dconf-gsettings-backend [gsettings-backend] 0.10.0-3
ii gir1.2-gtop-2.0 2.28.4-2
ii gnome-shell 3.2.2.1-1
gnome-shell-extensions recommends no packages.
gnome-shell-extensions suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: gnome-tweak-tool
Source-Version: 3.2.2-3
We believe that the bug you reported is fixed in the latest version of
gnome-tweak-tool, which is due to be installed in the Debian FTP archive:
gnome-tweak-tool_3.2.2-3.debian.tar.gz
to main/g/gnome-tweak-tool/gnome-tweak-tool_3.2.2-3.debian.tar.gz
gnome-tweak-tool_3.2.2-3.dsc
to main/g/gnome-tweak-tool/gnome-tweak-tool_3.2.2-3.dsc
gnome-tweak-tool_3.2.2-3_all.deb
to main/g/gnome-tweak-tool/gnome-tweak-tool_3.2.2-3_all.deb
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Biebl <[email protected]> (supplier of updated gnome-tweak-tool package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 23 Feb 2012 01:28:09 +0100
Source: gnome-tweak-tool
Binary: gnome-tweak-tool
Architecture: source all
Version: 3.2.2-3
Distribution: unstable
Urgency: low
Maintainer: Debian GNOME Maintainers
<[email protected]>
Changed-By: Michael Biebl <[email protected]>
Description:
gnome-tweak-tool - tool to adjust advanced configuration settings for GNOME
Closes: 633823 655535 660428
Changes:
gnome-tweak-tool (3.2.2-3) unstable; urgency=low
.
* debian/patches/02_dont-crash-on-missing-schemas.patch:
- Don't crash on missing gsettings schemas. Closes: #655535
Patch cherry-picked and rebased from upstream Git.
* debian/control.in:
- Remove Depends on gnome-shell-common. It is no longer necessary with the
above patch.
- Improve package description. Closes: #633823
* debian/patches/03_fix-user-theme-extension-UUID.patch:
- Fix UUID for user-theme extension. Closes: #660428
Patch cherry-picked from upstream Git.
Checksums-Sha1:
7c66786082279190057eeac818bcebbdb25003f7 2251 gnome-tweak-tool_3.2.2-3.dsc
0d4e86a67586eacc0e1ce7748d3c823b0bd76046 5027
gnome-tweak-tool_3.2.2-3.debian.tar.gz
b98cc87300cd40305ee20b6e8d1264788d5b30b6 93312 gnome-tweak-tool_3.2.2-3_all.deb
Checksums-Sha256:
f6c9d7f7b895c779edfcd84ed229e9df49571f276aabdc20fe105d627295a6e6 2251
gnome-tweak-tool_3.2.2-3.dsc
486d252af60c2e8b042b72d37fa9f7ff619062d59f282b38891efbc57d2063c2 5027
gnome-tweak-tool_3.2.2-3.debian.tar.gz
a9f7afeef25f107c47d247a78828be261c9a5d7589aead9bd18b214671cbcbbe 93312
gnome-tweak-tool_3.2.2-3_all.deb
Files:
d8b30d87fa9fbf3d70ef8304d34cb3dd 2251 gnome optional
gnome-tweak-tool_3.2.2-3.dsc
267f7fb0564b1625d54e9087c85bc51f 5027 gnome optional
gnome-tweak-tool_3.2.2-3.debian.tar.gz
37df9726fb647718a9ab90bc7fc2aeeb 93312 gnome optional
gnome-tweak-tool_3.2.2-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJPRYiUAAoJEGrh3w1gjyLcOv8P/1iD0IQ+uHtMOQKVHOsp3/hG
9jIX3MnlMmlDP8xKWzDFyNpuMNtPfIqueLI9vcC7cFTJqe089sfQuSP3cey2sUqQ
5hw/H4AqqzMZnrtzUE0KI4vlRF2D2LzCXX7gDLtb73H6Wo9XTk1KTFkegrNQPyc/
GNS3c31WSeFLS0+WMWXXGd2DUQ/M8+HabnCU7W3o8DuMcRbbEipnVQ20bh4eXGxV
UnbRreS6WVc1yCeDmCFl1Nxzze+8LVei4PWbQG14YVO3B514XbXP6uX8DRjAD92p
lJ6e4to7eZGEUqdbqdcmUP8XqI4EkehxKg2xulgm89sF5N9SJmOzRbw8bhkATEid
opJlTUJsaIku6AZCr5KbOnzrmh1kEQDlrdHQSsHu7fFoNuo9uSpz57firW9keSfi
WBWJBxpTvdXCvN4dydkrE+QHAgx6ruUp39fjc4VZAmfk8vT8t7xI56onm0xbo0bJ
csbJLOSu8gGeao85l0z7sE8/WMOdrIV+Z0zg1QM2+5lwc5yAFpfumL026Ogk/F9P
Hgt98JpbwlbuQ9upAFyg6NF/zWTBrTa+Y8IjcQ2E6p6Mvod7L+uNCEH+YVZNb5l+
mWqek6SsB9Or9ZG/6bfYxa9gQ1syX/4IDDoCSkXl+csFokzVJm9L0KJiJDSu0LdG
lNlIVr0CE2YiH2IezH4u
=FJyt
-----END PGP SIGNATURE-----
--- End Message ---
