Ao usar o Terminal 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 mudar. Isso parece ocorrer usando o ZSH ou o Bash. Alguém já encontrou esse problema? Ou alguém sabe como obter informações de depuração disso?
Respostas:
Eu não tive esse problema. Você pode tentar um emulador de terminal alternativo, como xtermou uxterm.
http://en.wikipedia.org/wiki/List_of_terminal_emulators#X_Window_Terminals
Tenho exatamente o mesmo problema. Isso não acontece o tempo todo, mas acontece na maioria das vezes e eu odeio isso. Além disso, o texto é impresso muito lentamente no terminal. Portanto, se eu imprimir um grande número de caracteres, o terminal o cuspirá em saltos e incrementos. Está muito atrasado. Esta é uma questão importante.
ATUALIZAÇÃO: Pressiono alt-f2 e pressione "r" para redefinir o Gnome. Sua sessão permanece intacta, mas reinicia o Gnome e, em seguida, 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 correção:
Corrigido um erro que poderia fazer com que alguns aplicativos OpenGL (incluindo ambientes de desktop como KDE e GNOME Shell) travassem.
EDIT: Uma discussão mais aprofundada, se encontrada em: /ubuntu/78237/unity-3d-with-nvidia-driver-becomes-very-slow-and-laggy
Eu encontrei terminator, meu termo favorito, tem o mesmo problema ao criar ou alternar guias. Isso torna o Gnome 3 inutilizável. Normalmente, tenho em algum lugar no intervalo de 4 ou 5 abas do console abertas e cada uma delas pode ser dividida várias vezes. Às vezes, a criação de novas guias faz com que toda a interface do Gnome 3 congele, e a única maneira de voltar a entrar é reiniciar o gdm a partir de um dos consoles reais (ctrl + alt + f1)
GNOME terminaltambém é lento para mim. Na lista da Wikipedia, o mais rápido do que eu testei foi evilvte. Esse parece ir até o extremo oposto do espectro em termos de deixar de fora o maior número possível de recursos. (Considerando que eu acho que GNOME terminalescolhe ser bastante funcional.)
A outra alternativa rápida para mim é usar o terminal virtual. Se você clicar em Ctrl+ Alt+ F6a Ctrl+ Alt+ F1, obterá uma interface rápida e mínima do console. Marcar Ctrl+ Alt+ F7retorna à interface gráfica usual com janelas e coisas do tipo.
Combinar esses terminais virtuais com tmux(uma GNU screensubstituição) tem sido útil para mim. Na tmuxlo de Ctrl+ b, Ctrl+ cpara abrir uma nova janela, Ctrl+ b, Ctrl+ %para dividir o ecrã em dois quadros, cada um com sua própria interface terminal, e Ctrl+ b, Ctrl+ xpara fechar um quadro.