Atualizar para 15.04: O que aconteceu com as minhas guias do terminal gnome?

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 feito a atualização. Ponto final. Eu gerencio muitos servidores e é essencial ter um cliente SSH que permita novas sessões em uma guia. 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 "aba aberta", com a lista completa de sessões que eu salvei. Já se foi.

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

Se você possui 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

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

Fazer o downgrade meio funciona, mas não é a melhor opção, pois as versões mais recentes sempre têm correções de bugs / segurança.

A melhor opção para você é instalar o mate-terminal, que é um fork atualizado regularmente do gnome-terminal que ainda possui abas e todos os sinos e assobios aos quais você está acostumado. Agora estou executando no meu sistema desde que o gnome-terminal removeu o recurso de guias.

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

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

sudo apt-get install terminator

http://gnometerminator.blogspot.co.uk/p/introduction.html

Use Ctrl+ Shift+ Tpara abrir a primeira nova guia. Guias subsequentes podem ser abertas com o +botão (na GUI, não no teclado).

O terminal gnome agora 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 recentes problemas de transparência , o termo mate- finalmente finalmente funcionará, tornando meus perfis antigos mais precisos. Aparentemente, o mate-terminal agora emprega um mecanismo de verificação de erros mais rigoroso e não funciona mais com nomes de perfis indefinidos, ou seja. --tab-with-profile = O padrão só funciona em um perfil (o primeiro.) Seu próximo perfil deve ter um nome diferente (Padrão2 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 mate-terminal, posso obter novamente todos os meus perfis e mais de 100 guias em boa ordem e reconectar com um clique de um botão :)

Preciso amar o comando principal da tela -dRRS . 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 da reinicialização, incluindo o histórico de comandos "na tela" anterior.

-Sam

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 + Shift+ Tainda funciona para mim.

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