3
Que tipo de terminal estou usando?
Eu testei isso com o Ubuntu 12.04 e Debian 7. Quando eu faço echo $TERM eu recebo xterm Mas se eu usar o menu suspenso "ajuda"> "sobre", ele diz gnome terminal 3.4.1.1. Isso significa que estou usando apenas o gnome-terminal? Ou apenas xterm? Ou o gnome-terminal é uma extensão do …