Drop Down Terminal extension for the Gnome Shell with basic tabs support.
This is a fork from https://github.com/zzrough/gs-extensions-drop-down-terminal
Just visit https://extensions.gnome.org/extension/1509/drop-down-terminal-x/ and click to install button.
$ git clone https://github.com/bigbn/gs-extensions-drop-down-terminal.git /tmp/drop-down-terminal
$ cp -R /tmp/drop-down-terminal/drop-down-terminal-x@bigbn.pro ~/.local/share/gnome-shell/extensions/
