Package: gnome-shell-extensions Version: 3.2.3-1 Severity: normal Hi,
I installed gnome-shell-extensions and tried to enable it using gnome-tweak-tool, but gnome-tweak-tool does not list up the extensions in gnome-shell-extensions. After some investigations for the source code of GNOME Shell, I noticed that the GNOME Shell loads extensions on its startup. As a result, GNOME Shell need to be restarted after installing/uninstalling extensions. GNOME Shell can be restarted using dbus. I suggest to call the following command on postinst/postrm to restart the GNOME Shell automatically after installing/uninstalling extensions. % dbus-send --type=method_call --dest=org.gnome.Shell /org/gnome/Shell org.gnome.Shell.Eval string:"global.reexec_self();" Or, if restarting the GNOME Shell automatically is not appropriate, then it would be nice to notify the user that the GNOME Shell need to be restarted (It can be done by pressing ALT-F2 and type "r"). % notify-send gnome-shell-extensions "Some GNOME Shell extensions has been added/removed. You need to restart the GNOME Shell by pressing ALT+F2 and then type \"r\"." Regards, Morita Sho -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: i386 (i686) Kernel: Linux 3.2.0-1-686-pae (SMP w/2 CPU cores) Locale: LANG=ja_JP.UTF-8, LC_CTYPE=ja_JP.UTF-8 (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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
