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!
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:
usando o gedit, mas os dois arquivos não salvam com as alterações.
Qualquer ajuda é apreciada. Obrigado!