Ни один из этих ответов не поможет ему, ребята! Я лично люблю программное обеспечение eOS, но хочу оставаться на стабильной 14.04. Терминал пантеона имеет много функций, которые не поддерживают гном-терминал. Вы можете установить его, выполнив:
sudo add-apt-repository ppa:elementary-os/daily
sudo apt-get update
sudo apt-get install pantheon-terminal