Bug#808377: gnome-shell: Extensions don't load under wayland

[Simon McVittie]

Control: tags 808377 + moreinfo

On Sat, 19 Dec 2015 at 11:45:36 +0100, Kjö Hansi Glaz wrote:
>    * What led up to the situation?
> 
> Activate a few extensions using gnome-tweak-tool. All these extensions
> work fine.
> 
>    * What exactly did you do (or not do) that was effective (or
>      ineffective)?
> 
> Reboot the computer and restart gnome wayland session.
> 
>    * What was the outcome of this action?
> 
> No extensions are activated.

Is this still reproducible in GNOME Shell 3.20?

Which specific extensions are you talking about? In my GNOME Wayland
session, these extensions are working fine:

* Applications menu (gnome-shell-extensions)
* Caffeine (gnome-shell-extension-caffeine)
* Media player (gnome-shell-extension-mediaplayer)
* Places menu (gnome-shell-extensions)

Thanks,
    S