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. - - - · Atenciosamente,
Márcio Vinícius Pinheiro http://pt.gravatar.com/marciovinicius Em 19 de julho de 2013 16:29, d4n1 <[email protected]> escreveu: > 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. > > Uso o jessy (unstable) em desktops. >

