Instalar shell extensions pelo site gnome extensions

[matheusssilva]

Bem, estou tentando instalar uma extensão pelo site gnome extesions, eu seleciono a extensão clico no botão ao lado deixando [ON] ai recebo uma mensagem perguntando se eu quero baixar e instalar a extensão, clico em sim mas nada acontece.

A extensão que quero instalar é essa https://extensions.gnome.org/extension/208/panel-settings/

estou usando

ubuntu gnome 13.04

[Luis Cardoso]

Segundo os comentários, não funciona com Gnome 3.6.x e 3.8.x. Ora, como o Ubuntu Gnome 13.04 vem com o Gnome 3.6 ou 3.8, isto quer dizer que nada feito! Terá de esperar que o autor faça a devida actualização!

[matheusssilva]

vi agora o tal comentário, mas se não me engano no site fala alguma coisa sobre ter sito adicionado compatibilidade com o gnome 3.6 https://github.com/eddiefullmetal/gnome-shell-extensions

[Claudio Novais]

Pelo ficheiro "metadata.json", efetivamente a extensão presente nesse link do GitHub deve funcionar. Deve, mas não é garantido. Digo isto porque no cabeçalho ela diz funcionar no Gnome3.6, no entanto, pode dar erro. Faça download pelo github e inclua a extensão na pasta oculta da sua pasta pessoal seguinte (o til significa pasta pessoal):

• ~/.local/share/gnome-shell/extensions/

[matheusssilva]

Realmente, não funcionou.
O que eu queria era baixar a taskbar de cima para baixo. Alguma outra forma de fazer isso?

[Claudio Novais]

COmo não uso o Gnome-Shell não posso dar grandes ajudas. Mas espere até que o Edson (Xterminator) veja isto! Ele usa o Gnome-Shell diariamente e provavelmente saberá dar a melhor resposta!

[Xterminator]

Se você não está conseguindo instalar pelo site, vai dar um pouco mais de trabalho
mas basicamente faça isto.

cd

mkdir .local/share/gnome-shell/extensions/panelSettings@eddiefullmetal.gr

acesse o link
https://github.com/eddiefullmetal/gnome ... llmetal.gr

Baixe os três arquivos e coloque dento do diretório que você criou, bastando clicar com o botão direito e selecionar a opção salvar link como.


tecle ALT+F2 na caixa de diálogo coloque executar cole:

gedit .local/share/gnome-shell/extensions/panelSettings@eddiefullmetal.gr/metadata.json

Substitua o conteúdo do arquivo por este.

Código: Selecionar todos

{
    "shell-version": [
        "3.6",
        "3.6.1",
        "3.6.2,
        "3.6.3",
        "3.6.3.1"
    ],
    "uuid": "panelSettings@eddiefullmetal.gr",
    "name": "Panel Settings",
    "description": "Various settings for the Panel",
    "url" : "https://github.com/eddiefullmetal/gnome-shell-extensions"
}

Não posso garantir que vá funcionar, pois não tenho mais o gnome-shell 3.6
mas fiz a alteração no arquivo de acordo com as versões do gnome-shell 3.6 que conheço.
Bom é isto.