Re: Gnome shell stops working, complains about missing key

[Thanasis Georgiou <sakisds s gmail com>]

On 5 June 2012 12:01, Olav Vitters <olav vitters nl> wrote:
> You need the file:
> /usr/share/glib-2.0/schemas/org.gnome.shell.gschema.xml

I have it and I can see "enabled-extensions" inside.

> If you have it, run something like:
> /usr/bin/glib-compile-schemas --allow-any-name /usr/share/glib-2.0/schemas/
>
> This should all be handled by your distribution.

In fact it is. I opened the package for gnome-shell and after
installation "glib-compile-schemas /usr/share/glib-2.0/schemas/" is
executed. I tried re-installing gnome-shell and running the command
manually (both with and without --allow-any-name) but gnome shell
still doesn't work.

Thanks for taking time to answer.
-- 
Thanasis Georgiou