Terminal GNOME tem as funcionalidades acima.
Caso você não saiba, na maioria dos emuladores de terminal:
- Copiar texto: Ctrl + Shift + c
- Texto anterior: Ctrl + Shift + v
Veja essas ótimas alternativas
Tilda
Terminal simples, pop-up GTK + - link
Guake
Terminal popup do GTK +. Ótimo suporte para vários monitores. - link
Confira Yakuake para uma alternativa ao Qt / KDE.
Terminologia
Terminal rico em recursos usando o kit de ferramentas EFL. link