Ну, еще немного порассуждаю про 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

Ну а дальше - первый запуск ручками, прописать в автозагрузку, ...настроить и наслаждаться.