Obrigado pelas informações e sugestões, o Terminator parece bem legal, mas acho que nem preciso de tanto. Instalei um tal Guake, que desce quando se tecla o F12. Agora tenho tido problemas para fazê-lo rodar (e fazer o F12 chamá-lo) a partir da inicialização do sistema, mas isso é outra história.
Cara, uso gnome e li no post do site oficial, que eles retiraram essa opção. Por isso não se encontra mais disponível. Estou no smartphone, senão te enviava o link.