Falha ao instalar o Gnome-Shell-Extensions: Separador Ausente

1

Estou tentando instalar o gnome-shell-extensions no terminal usando estas instruções:

  • Download Gnome Shell extensions by running following command: git clone git://git.gnome.org/gnome-shell-extensions
  • Now access the directory from terminal by running following command: cd gnome-shell-extensions/
  • Finally run this command to install the extension: ./autogen.sh --prefix=$HOME/.local --enable-extensions="user-theme"

fonte: link

Quando eu vou para 'make', no entanto, recebo o seguinte erro:

    make[1]: Entering directory '/home/z3r0/gnome-shell-extensions/extensions'
    Making all in user-theme
    make[2]: Entering directory '/home/z3r0/gnome-shell-extensions/extensions/user-theme'
    Makefile:442: *** missing separator.  Stop.
    make[2]: Leaving directory '/home/z3r0/gnome-shell-extensions/extensions/user-theme'
    make[1]: *** [all-recursive] Error 1
    make[1]: Leaving directory '/home/z3r0/gnome-shell-extensions/extensions'
    make: *** [all-recursive] Error 1

Eu tentei adicionar uma tabulação à linha 442 em:

  • / home / z3r0 / gnome-shell-extensões / Makefile
  • / home / z3r0 / gnome-shell-extensions / extensões / Makefile

usando o gedit, mas os dois arquivos não salvam com as alterações.

Qualquer ajuda é apreciada. Obrigado!

    
por Bryn Owen 25.04.2012 / 17:12

1 resposta

0

sobre o gnome-shell-extensions, é melhor instalar o gnome-tweak-tool e, em seguida, abra o link no navegador da web e adicione o seu extensões favoritas apenas por um clique!

    
por user56564 25.04.2012 / 20:32