Parece que tenho um problema com uma extensão específica do site do GNOME Shell Extensions. A extensão é chamada de Indicador de status de locais. Eu o instalei e trabalhei bem, mas depois da reinicialização ele parece ter sido completamente removido, pois não está listado no GNOME Tweak Tools. Verificar minhas extensões por meio de gsettings get org.gnome.shell enabled-extensions , no entanto, é o seguinte:
['[email protected]', '[email protected]', '[email protected]', '[email protected]', '[email protected]', '[email protected]', '[email protected]', '[email protected]', 'hibernate-status@dromi', '[email protected]', '[email protected]']
Então o menu de lugares ainda está listado. Quando tento reinstalá-lo a partir do website, o botão continua a voltar para "desligado" depois de clicar no botão de instalação na caixa de diálogo. Tentando definir a bruxa gsettings set org.gnome.shell enabled-extensions me dá isso:
(gnome-shell:14007): Gjs-WARNING **: JS ERROR: Could not load extension places-menu@gnome-shell-extensions: Error: Missing metadata.json createExtensionObject@/usr/share/gnome-shell/js/misc/extensionUtils.js:100 ExtensionFinder<._loadExtension@/usr/share/gnome-shell/js/misc/extensionUtils.js:169
Estou executando o Ubuntu GNOME 14.04 com o GNOME versão 3.10.4. Eu ainda não estou familiarizado com o Linux, então alguém pode me dizer o que fazer agora?
Agradecemos antecipadamente xorzag.