On Mon, 14 Nov 2011 19:25:57 +0100, DebianTR.WP wrote: > On 11/14/2011 06:52 PM, Camaleón wrote:
(...) >>> Did you build it yourself? It is not available in wheezy repos. >> No, I have the default "gnome-shell" without the extensions package >> installed but the key you mention is present here and that's what lead >> me to think something has been messed up in your system when you >> upgraded the required packages or it's a packaging problem. >> >> > Hmm, OK then. A last question. > I think the problem is even though every extensions is disabled, in the > schema, they are seen as enabled. Therefore when I try to enable them, > the tool cannot find any "disabled" one to enable. For example, you only > have the "disabled" as a key. Because none of them are installed and > enabled (if you of course pasted the whole output) Hum... I'm not sure about that (and yes, I pasted the full output). But as I have no extensions available at all so, what's would be the purporse of be able to disable them? :-? > Is not there a way to change/manipulate it by hand? Like, editing an xml > file or conf file? Or maybe since I do not really know how it works, my > thinking process is completely wrong :) Look at here, the official docs are always a good place to start: https://live.gnome.org/GnomeShell/Extensions Maybe you can rename the extension folder so they are not detected and then retry again. Greetings, -- Camaleón -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/pan.2011.11.14.21.02...@gmail.com
