Estou perguntando isso, porque não consigo encontrar uma pergunta sobre isso. Eu amo gnome-terminal, porque eu posso copiar e colar de / para esta janela de terminal, e porque eu já configurá-lo para usar a fonte de bitmap (não anti-alias), então ele tem a mesma aparência que o xterm.
Mas, na minha preferência, uma coisa está faltando: como posso sempre desabilitar / ocultar a barra de abas quando abro várias abas? Eu não gostei deste elemento de guia gui. Mas eu não acho que há uma opção trivial para fazer isso ... ou é?
Tags gnome-terminal