2 Added directions for 32-bit gnome-terminal
source | link

Just downgrade to good old 3.6.2 like me did.

If you have a 64-bit install:

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

For 32-bit:

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

Just downgrade to good old 3.6.2 like me did.

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

Just downgrade to good old 3.6.2 like me did.

If you have a 64-bit install:

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

For 32-bit:

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
1
source | link

Just downgrade to good old 3.6.2 like me did.

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