Еще одно расширение выпадающего терминала для GNOME Shell
Drop Down Terminal Extension for GNOME Shell