Действительно хорошая новость о Terminix.
А я открыл для себя drop-down терминал
Stjerm. Очень простой и лёгкий. Настройки прописываются в файле
.Xdefaults домашнего каталога.
Пример моих настроек:
Спойлер
stjerm.key: f1
stjerm.opacity: 90
stjerm.foreground: #ffffff
stjerm.background: #a84343
stjerm.font: Monospace 10
stjerm.height: 25%
stjerm.width: 60%
stjerm.border: thin
stjerm.scrollbar: none
stjerm.autohide: false
По умолчанию выпадает по F12. У меня переназначен на F1. Полный список значений настроек можно посмотреть в терминальном man, или в
веб-мане. Не имеет ничего лишнего, чем и подкупает.
Есть в репозиториях:
sudo apt-get install stjerm