Atualize para o 15.04: O que aconteceu com as guias do meu terminal gnome?

Question

Evidentemente, parte da atualização para o Ubuntu 15.04 envolve uma atualização para o gnome-terminal que remove o recurso antigo que permite que novas janelas de terminal sejam abertas como uma guia, em vez de uma nova janela.

Se eu soubesse disso antes da atualização, eu literalmente não teria atualizado. Ponto final. Eu gerencio muitos servidores, e ter um cliente SSH que permita novas sessões em uma guia é essencial. Abrir novas janelas para 15 servidores é completamente incontrolável.

Nesta captura de tela, você pode ver a opção de menu "abrir sessões". Também costumava haver uma opção de menu "guia aberta", com a lista completa de sessões que salvei. Agora se foi.

    

Answer 1

Basta fazer o downgrade para o bom e velho 3.6.2 como eu fiz.

Se você tiver uma instalação de 64 bits:

wget http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal-data_3.6.2-0ubuntu1_all.deb http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal_3.6.2-0ubuntu1_amd64.deb
sudo dpkg -i gnome-terminal_3.6.2-0ubuntu1_amd64.deb gnome-terminal-data_3.6.2-0ubuntu1_all.deb
sudo apt-mark hold gnome-terminal
sudo apt-mark hold gnome-terminal-data

para 32 bits:

wget http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal-data_3.6.2-0ubuntu1_all.deb http://archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal_3.6.2-0ubuntu1_i386.deb
sudo dpkg -i gnome-terminal_3.6.2-0ubuntu1_i386.deb gnome-terminal-data_3.6.2-0ubuntu1_all.deb
sudo apt-mark hold gnome-terminal
sudo apt-mark hold gnome-terminal-data

    

Answer 2

Se você quiser saber como corrigir esse problema, a nova versão tem a opção de abrir todos os novos terminais em uma guia. Vá para Editar - > Preferências e, em seguida, alterar "Abrir novos terminais em: janela" para "Tab".

    

Answer 3

Fazer downgrade kinda funciona, mas não é a melhor opção, já que as versões mais novas sempre têm correções de bug / segurança.

A melhor opção para você é instalar o terminal mate, que é um fork do gnome-terminal atualizado regularmente que ainda tem abas e todos os sinos e apitos que você está acostumado. Eu tenho isso em execução no meu sistema agora desde que o gnome-terminal removeu esse recurso de guias.

É quase idêntico, mas não faltam recursos! Viva!

    

Answer 4

Tente o terminador para várias janelas, incluindo a transmissão do mesmo comando para todos os terminais abertos ...

sudo apt-get install terminator

link

    

Answer 5

Use Ctrl + Deslocando + T para abrir a primeira nova aba. Guias subseqüentes podem ser abertas com o botão + (no gui, não no teclado).

    

Answer 6

O gnome-terminal está tão quebrado que é basicamente uma piada de mau gosto. Os perfis são difíceis ou impossíveis de gerenciar, editar ou excluir.

Se eu ignorar os problemas recentes de transparência, finalmente consegui trabalhar com o mate -terminal, tornando meus antigos perfis mais precisos. Aparentemente, o mate-terminal agora emprega um mecanismo de verificação de erros mais rigoroso e não trabalha mais com nomes de perfil indefinidos, por exemplo. --tab-with-profile = O padrão funciona apenas em um perfil (o primeiro). Seu próximo perfil deve ser nomeado de forma diferente (Default2 ou por exemplo "Servidores" como no meu exemplo abaixo) e deve refletir no novo perfil personalizado comando.

exemplo:

mate-terminal --tab-with-profile=Servers -t "server1" -e "ssh [email protected] -t screen -dRRS main"
--tab-with-profile=Servers -t "server2" -e "ssh [email protected] -t screen -dRRS main"

Usando definições de perfil mais precisas e comandos personalizados no terminal-mate, posso obter novamente todos os meus perfis e mais ou menos 100 Tabs em boa ordem e reconectados com um clique de um botão:)

Conseguir amar o comando tela -dRRS principal . Isso permite que você reinicie e retorne ao seu trabalho anterior com um clique. Todas as suas guias de terminal serão exatamente como você as deixou antes de serem reiniciadas, incluindo o histórico de comandos "na tela" anterior.

-Sam

    

Answer 7

gnome-terminal --tab-with-profile=SOME_PROFILE_NAME -e 'ssh somehost'

ou

gnome-terminal --tab-with-profile-internal-id=SOME_PROFILE_ID -e 'ssh somehost'

e Ctrl + Deslocamento + T ainda funciona para mim.

Em contraste com 14.10, o nome do perfil padrão é localizado em 15.04.