Eu não experimentei esse problema.
Você pode tentar um emulador de terminal alternativo como xterm ou uxterm .
Ao usar o Terminal do GNOME, se eu tentar criar uma nova guia ou usar a "guia C +" para alternar para uma nova, o terminal levará até cinco segundos completos para ser alterado. Isso parece ocorrer usando ZSH ou Bash. Alguém se deparou com esta questão? Ou alguém sabe como obter informações de depuração a partir disso?
Eu tenho exatamente o mesmo problema. Isso não acontece o tempo todo, mas acontece a maior parte do tempo e eu odeio isso. Além disso, o texto é impresso muito lentamente no terminal. Então, se eu imprimir um grande número de caracteres, o terminal o despeja em saltos e incrementos. É muito lento. Esta é uma questão importante.
UPDATE: eu pressiono alt-f2, depois clico em "r" para resetar o Gnome. Sua sessão permanece intacta, mas reinicia o Gnome, e então meus terminais funcionam muito bem ... então isso é um vazamento de memória ou bug no Gnome.
Você usa drivers NVIDIA? Então você pode ser afetado por um bug no driver. A nova versão 295.20 indica uma possível solução:
Corrigido um bug que poderia fazer com que alguns aplicativos OpenGL (incluindo ambientes de desktop como o KDE e o GNOME Shell) travassem.
EDIT: Uma discussão mais aprofundada, se encontrada em: link
Eu encontrei o terminador, meu termo favorito, que tem o mesmo problema de criar ou alternar as guias. Isso torna o Gnome 3 inutilizável. Eu costumo ter em algum lugar no intervalo de 4 ou 5 guias de console aberto com cada um, possivelmente dividido muitas vezes. Às vezes, criar novas guias faz com que toda a interface do Gnome 3 congele, e a única maneira de voltar é reiniciar o gdm de um dos consoles reais (ctrl + alt + f1)
GNOME terminal também é lento para mim. Na lista da Wikipedia, o mais rápido do que testei foi evilvte . Aquele parece ir até o extremo oposto do espectro em termos de deixar de fora tantos recursos quanto possível. (Considerando que eu sinto que GNOME terminal escolhe ser bem cheio de recursos.)
A outra alternativa rápida para mim é usar o terminal virtual. Se você apertar qualquer um dos Ctrl + Alt + F6 através de Ctrl + Alt + F1 você terá uma interface de console mínima e rápida. Striking Ctrl + Alt + F7 retorna para a interface gráfica usual com janelas e tal.
Combinar esses terminais virtuais com tmux (uma GNU screen de substituição) foi útil para mim. Em tmux é Ctrl + b , Ctrl + c para abrir uma nova janela, Ctrl + b , Ctrl + % para dividir a tela em dois quadros, cada um com sua própria interface de terminal e Ctrl + b , Ctrl + x para fechar um quadro.