Ну, еще немного порассуждаю про Linux.
Пока я не перешел на Mint, я использовал gnome-terminal или LXDE terminal - в зависимости от того, в какой среде я работал. С gnome, кстати, ушел после того, как он обзавелся Unity - и до сих пор считаю, что это был самый неоднозначный шаг, напрочь перечеркнувший множество достоинства этой среды. Вообще говоря, для десктопа терминал нужен достаточно редко: операций, как правило, никаких - разве что раз в месяц что-то донастроить/улучшить... В общем, я "не парился", и использовал "что дадут". Правда, чисто с пользовательской точки зрения, меня раздражало то, что большинство терминалов не поддерживают Ctrl-C / Ctrl-V. Мелочь, конечно, но и без нее жить можно.
Так было до те пор, пока совершенно случайно не наткнулся на Guake Terminal. Который с момента пробной установки прочно поселился у меня на компе в качестве основного.
Что же в нем хорошего? Да сущие смелочи:
- умеет вызываться по нажатию клавиши (я повесил его на F12) "из коробки". Можно тут сказать - ну и что такого? Можно настроить вызов люой программы по любой клавише или их комбинации. Но, напомню - тут это идет "из коробки".
- умеет Ctrl-C / Ctrl-V.
- умеет внутри себя открывать множество вкладок - эмуляторов терминала, и гибко настраивать создание / удаление таких вкладок, плюс - также гибко настраивать перемещение между ними.
- вообще масса настроек - по умолчанию терминаал распахивается на половину экрана, но это можно поменять.
- множество настроек (для этого есть специальная утилита guake-prefs).
- чисто из "фишек" - настраиваемая прозрачность, возможность задать свой фон (изображение или цвет), свои цвета всего, что можно.
Общее впечатление - must have! однозначно.
Так как Guake есть в репозиториях уубунты, то ставится он элементарно:
$ sudo apt-get install guake
Ну а дальше - первый запуск ручками, прописать в автозагрузку, ...настроить и наслаждаться.