Eu quero fazer o downgrade do gnome-terminal de 3.10.2 para 3.6.2, como em Como fazer o downgrade de pacotes no Ubuntu? Eu tentei usar o synaptic mas sem sucesso e não acho que seja tão fácil quanto com qualquer outro aplicativo.
De acordo com a saída de apt-cache policy gnome-terminal , você instalou gnome-terminal 3.10 via PPA e gnome-terminal 3.6 ainda está disponível no repositório principal. Então faça o downgrade de 3.10 para 3.6, execute o seguinte comando:
sudo apt-get install gnome-terminal=3.6.2-0ubuntu1
Aqui está outro método que envolve a remoção do PPA:
sudo apt-get install ppa-purge
sudo ppa-purge ppa:gnome3-team/gnome3
O que você deve fazer é:
Vou começar a partir do passo 4.
Para parar o lightdm, digite o seguinte comando:
sudo service lightdm stop
Comando (s):
sudo apt-get update
sudo apt-get install gnome-terminal=3.6.2
Comando:
sudo service lightdm start
Você deve então ser direcionado para a tela de login da GUI. Volla!
Veja este post para mais informações.
Caso alguém chegue aqui e não consiga segmentar a versão 3.6.2 por meio do apt-get, o seguinte script foi encontrado aqui trabalhou para mim:
wget http://fr.archive.ubuntu.com/ubuntu/pool/main/g/gnome-terminal/gnome-terminal-data_3.6.2-0ubuntu1_all.deb http://fr.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
Eu estava em uma nova instalação do Ubuntu 16.04 indo do gnome-terminal versão 3.18 para 3.6.2 e trabalhei sem problemas.