Comment 21 for bug 221144

Revision history for this message
Patric (patric-thurm) wrote :

Replacing the current buggy gnome-terminal can be done as follows (take care, very evil procedure!):

-download right gnome-terminal 2.18 from http://packages.ubuntu.com/gutsy/gnome-terminal

-extract package to some temporary path (without actually installing it), e. g.:
dpkg-deb --extract gnome-terminal_2.18.2-0ubuntu1_i386.deb /tmp/gnome-terminal-2.18

-make sure no gnome-terminal processes are running

-as root (need xterm or similar or non GUI console (e.g. Ctrl+Alt+F1)):
cp /usr/bin/gnome-terminal /usr/bin/gnome-terminal.orig
cp /tmp/gnome-terminal-2.18/usr/bin/gnome-terminal /usr/bin/gnome-terminal
ln -s /usr/lib/liblaunchpad-integration.so.1 /usr/lib/liblaunchpad-integration.so.0