Having failed to install a gnome extension from the website I looked for another way. The guide I found on google was like:
sudo apt-get install gnome-common git clone git://git.gnome.org/gnome-shell-extensions cd gnome-shell-extensions ./autogen.sh --prefix=$HOME/.local --enable-extensions="drop-down-terminal"
The last command failed though with the following error:
./configure: line 4276: GLIB_GSETTINGS: command not found configure: error: invalid extension drop-down-terminal
Unfortunately I didn't find anything helpful on google.