I want to downgrade the gnome-terminal from 3.10.2 to 3.6.2, like in How to downgrade packages on Ubuntu? I tried using synaptic but without success and I don’t think it’s as easy as with any other application.
Answer
As per the output of apt-cache policy gnome-terminal
you have installed gnome-terminal 3.10
via PPA and gnome-terminal 3.6
is still available at the main repository. So do downgrade from 3.10 to 3.6 run the following command:
sudo apt-get install gnome-terminal=3.6.2-0ubuntu1
Here is another method that involves removing the PPA:
sudo apt-get install ppa-purge
sudo ppa-purge ppa:gnome3-team/gnome3
Attribution
Source : Link , Question Author : Diego Silvera , Answer Author : heemayl