Ask Ubuntu is a question and answer site for Ubuntu users and developers. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to install gnome-shell-extensions in terminal using these instructions:

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


When I go to 'make' however, I get the following error:

    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

I've tried adding a TAB to line 442 in:

  • /home/z3r0/gnome-shell-extensions/Makefile
  • /home/z3r0/gnome-shell-extensions/extensions/Makefile

using gedit, but both files don't save with the changes.

Any help is appreciated. Thanks!

share|improve this question
up vote 0 down vote accepted

about gnome-shell-extensions, it is better to install gnome-tweak-tool and then open in web browser and add your favorite extensions just by one click!

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.