This is a fork from https://github.com/zzrough/gs-extensions-drop-down-terminal

Includes

• Tabs support
• Multi-monitor support
• Font scaling support
• [Focus out] / [Escape pressed] events for hide
• Custom shortcuts
• SSH ~/.config hosts fast acess

Just enable it on at https://extensions.gnome.org/extension/1509/drop-down-terminal-x

$ git clone https://github.com/bigbn/gs-extensions-drop-down-terminal.git /tmp/drop-down-terminal
$ cp -R /tmp/drop-down-terminal/[email protected] ~/.local/share/gnome-shell/extensions/

Package in AUR: gnome-shell-extension-drop-down-terminal-x

You can create file ~/.config/drop-down-terminal-x/shortcuts with such format:

# You can define any actions you want
["Projects"]    :   cd /home/bigbn/projects
["MyIP"]        :   curl -s http://whatismijnip.nl | cut -d " " -f 5

There is two parts divided by colon: right part is a command, left one is a JSON array, it contains string with human readable name of launcher (maybe some new properties like icon, "open" mode and etc will appear in future).

Line started with # interpreted as comment and will be ignored by parser.

These items are displayed as executable actions under special kebab button at right corner. Extension must be restarted (off/on in gnome-tweaks) after file creation to take effect.