Nenhuma dessas respostas ajuda a ele! Eu pessoalmente amo o software da eOS, mas quero ficar estável 14.04. O terminal do panteão tem muitos recursos que o gnome-terminal não possui. Você pode instalá-lo executando:
sudo add-apt-repository ppa:elementary-os/daily
sudo apt-get update
sudo apt-get install pantheon-terminal