Same Problem here: - Ubuntu Gnome 3.10 - Enabled ppas: gnome3-team-gnome3-staging-saucy gnome3-team-gnome3-saucy gnome3-team-gnome3-next-saucy - Versions: gnome-shell 3.10.2.1-0ubuntu1~saucy1 gdm 3.10.0.1-0ubuntu1~saucy4
- Workarround #12 did the trick, extensions remained enabled after gdm restart.
I want also to point that session logout didn't work until changing gdm to "system default".
Same Problem here:
gnome3- team-gnome3- staging- saucy
gnome3- team-gnome3- saucy
gnome3- team-gnome3- next-saucy
gnome- shell 3.10.2. 1-0ubuntu1~ saucy1
gdm 3.10.0. 1-0ubuntu1~ saucy4
- Ubuntu Gnome 3.10
- Enabled ppas:
- Versions:
- Workarround #12 did the trick, extensions remained enabled after gdm restart.
I want also to point that session logout didn't work until changing gdm to "system default".