posição do título multi-tabulação do terminal gnome

5

Após a atualização para o Ubuntu 15.04, o título da guia Terminal do Gnome foi definido para o centro da guia.

Como posso definir o título para a posição esquerda da guia?

    
por chenzhiwei 06.05.2015 / 14:54

2 respostas

3

Deixe-me responder minha pergunta.

  1. Faça o download do pacote fonte do terminal gnome

    apt-get source gnome-terminal
    
  2. Instale as dependências de construção necessárias para o gnome-terminal

    sudo apt-get build-dep gnome-terminal
    
  3. Anule a alteração abaixo

  

link

  1. Reempacote o código-fonte

    tar zcf gnome-terminal_3.14.2.orig.tar.gz gnome-terminal-3.14.2
    
  2. Criar novo pacote de terminal gnome

    debuild -b
    
  3. Instale o novo pacote gnome-terminal

    sudo dpkg -i gnome-terminal_xxx.deb
    
por chenzhiwei 23.07.2015 / 16:39
0

Outra solução é substituir o terminal Gnome pelo terminal MATE.

apt-get install mate-terminal
    
por Adria 23.04.2016 / 04:24