Another Drop Down Terminal - расширение для GNOME Shell. Выпадающий по хоткею терминал в стиле консоли для команд в известной игре Quake.

Форк заброшенного Drop Down Terminal X. Поддерживает вкладки, многомониторную конфигурацию и всё прочее, что вообще поддерживается терминалами. Вызывается он по F12.

Another Drop Down Terminal - main window


Есть возможность развернуть его на весь экран по F11 или вернуть в исходное состояние:

Another Drop Down Terminal - main full window


Так же есть возможность менять размер терминала мышью как вам удобно и эти данные сохраняются.

Another Drop Down Terminal имеет большое количество настроек:

Another Drop Down Terminal - preferences - window

Another Drop Down Terminal - preferences - tabs

Another Drop Down Terminal - preferences - text

Another Drop Down Terminal - preferences - colors

Another Drop Down Terminal - preferences - hotkeys

Не смотря на то, что это простое расширение, оно имеет все шансы заменить отдельный gnome-terminal и его аналоги, так как умеет всё, что нужно, и при этом удобен - разворачивается из маленького значка на любом рабочем столе или мониторе, на котором вы сейчас работаете. И сворачивается туда же. Midnight Commander и другие консольные приложения чувствуют работают как ожидается.  Вкладки, скролл, горячие клавиши, переименовывание вкладок и т.п. - всё доступно в полной мере.

Имеет поддержку Wayland. Написан на JavaScript.

Лицензия: GPL3

страница проекта на github

Страница на  Gnome extensions