Terra Terminal Emulator

Terra Terminal Emulator - легковесный drop-down (в стиле терминала Quake) эмулятор терминала. Для вызова по умолчанию используется горячая клавиша F12 (можно переназначить). Написан на GTK 3 и совмещает в себе возможности двух терминалов - Terminator и Guake. Имеет ряд полезных настроек, в том числе изменение цвета текста, размеров окна, его расположения, а также прозрачности фона. Меню настроек вызывается кликом правой кнопки мыши в окне терминала и выбором пункта "Preferences". Также Terra Terminal Emulator обладает удобной особенностью терминала Terminator - вертикальное и горизонтальное разделение вкладки, т.е. на одной вкладке у вас может быть запущено одновременно несколько оболочек. Имеется также функция сворачивания окна при потере фокуса.

sudo add-apt-repository ppa:ozcanesen/terra-terminal
sudo apt-get update
sudo apt-get install terra

yaourt -S terra