Re: gnome-shell-extensions
On Mon, 14 Nov 2011 18:18:28 +0100, DebianTR.WP wrote:
> On 11/14/2011 05:48 PM, Camaleón wrote:
>
>> On Mon, 14 Nov 2011 15:06:57 +0100, DebianTR.WP wrote:
>>
>> (...)
>>
>>> $ gsettings list-keys org.gnome.shell
>>>
>>> command-history
>>> development-tools
>>> disabled-open-search-providers
>>> enable-app-monitoring
>>> enabled-extensions
>>> favorite-apps
>>> looking-glass-history
>>> saved-im-presence
>>> saved-session-presence
>>>
>>>
>>> I think, there should be a key called disabled-extensions.
>> In fact there is... I have it in wheezy:
>>
>> hpc03@stt300:~$ gsettings list-keys org.gnome.shell command-history
>> development-tools
>> disabled-extensions<<-- here!
>> disabled-open-search-providers
>> enable-app-monitoring
>> favorite-apps
>> looking-glass-history
>>
>> Being experimental maybe it's better that you submit a bug report for
>> this or wait for a package update :-?
>>
>>
> 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.
Greetings,
--
Camaleón
Reply to: