Re: Gnome shell stops working, complains about missing key

[Olav Vitters <olav vitters nl>]

On Tue, Jun 05, 2012 at 05:11:13PM +0300, Thanasis Georgiou wrote:
> On 5 June 2012 16:35, Jasper St. Pierre <jstpierre mecheye net> wrote:
> > Does org.gnome.shell.gschema.xml look OK? Can you run it through
> > xmllint maybe, or pastebin it?
> 
> Here you go: http://pastebin.com/nXKnSB0T
> It looks alright, I can see the keys and their descriptions but since
> I reinstalled gnome shell, the file is replaced with the one from the
> package so it should be fine. Unless the package is broken.

This seems weird, but I actually have the exact same thing:
  gettext-domain="@GETTEXT_PACKAGE@"

I'll email you my copy privately. Please compare the files and see if
they're the same (diff -u $OLDFILE $NEWFILE).

-- 
Regards,
Olav