*** This bug is a duplicate of bug 1385572 ***
https://bugs.launchpad.net/bugs/1385572
Confirming this bug with a fresh Debian 8.8 Jessie with GNOME 3.14.1
This bug can be reproduce with either rebooting or lock then unlock
GNOME session. Both result in all GNOME extensions to be deactivated.
Intermittent bug.
Steps to reproduce at https://bugs.launchpad.net/ubuntu/+source/gnome-
session/+bug/1697229
--
You received this bug notification because you are a member of Ubuntu
Touch seeded packages, which is subscribed to upstart in Ubuntu.
https://bugs.launchpad.net/bugs/1236749
Title:
Gnome shell extensions disabled at every startup
Status in Ubuntu GNOME:
Confirmed
Status in gnome-shell package in Ubuntu:
Confirmed
Status in upstart package in Ubuntu:
Confirmed
Bug description:
Since gnome-shell 3.10, my extensions are disabled by default at every boot.
I need to launch Tweak Tool to enable theme by hand every time.
Both pre-installed extensions ( AlternateTab) and user-installed ones
(top-icons)
Step to reproduce :
Enable an extension in Tweak Tool ( Alternate Tab for example)
reboot computer,
open Tweak Tool : Alternate tab is disabled.
Running on Ubuntu 13.10
GNOME Shell 3.10.0.1
gnome-tweak-tool 3.10..0-0ubuntu1-saucy1
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-gnome/+bug/1236749/+subscriptions
--
Mailing list: https://launchpad.net/~touch-packages
Post to : touch-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~touch-packages
More help : https://help.launchpad.net/ListHelp
