[Bug 1236749] Re: Gnome shell extensions disabled at every startup

[Francewhoa]

*** 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
Foundations Bugs, 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