Use this trick : Set all the extensions you want to be on. Then run: gsettings get org.gnome.shell enabled-extensions
This should come up with something like [wilf@whm ~]$ gsettings get org.gnome.shell enabled-extensions ['[email protected]', '[email protected]', '[email protected]'] Copy the output, and then run gnome-session-properties Press add, and then enter the output of gsettings get org.gnome.shell enabled-extensions "['use... ...blogspot.com']" - PUT THE DOUBLE QUOTES IN, OTHERWISE THIS WILL NOT WORK (If not sure, test the command in the terminal first - if no feedback is give, it worked). -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1236749 Title: Gnome shell extensions disabled at every startup To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu-gnome/+bug/1236749/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
