O Guake é um terminal drop-down para Gnome muito útil!
Não o conhecia até pouco tempo, quando vi o amigo Gabriel utilizando-o, me interessei e estou aqui para recomendá-lo a vocês!
Instalando-o no Arch Linux:
$ sudo pacman -S guake
Podemos configurá-lo acessando as Preferências do Guake:
Feito isso, para utilizá-lo precisamos executá-lo (sério?!), procure por “guake” nos seus aplicativos, feito isso para chamá-lo basta usar a tecla de atalho F12!
O meu foi configurado para ficar em tela cheia, mexi na transparência, fonte e tamanho da fonte também. Por isso essa aparência que não é a padrão.
Para que o Guake inicie automaticamente basta adicioná-lo aos programas que iniciam com o sistema através do gnome-tweak-tool:
Faça o teste e veja o que acha, particularmente curti bastante!
Outra sugestão, um pouco mais KISS (com menos dependências): tilda. Ver: http://tilda.sourceforge.net/
Esse link não está funcionando Thiago.
É verdade, não quer mais carregar. Mas tem nos repositórios oficiais do Arch: https://www.archlinux.org/packages/?q=tilda