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
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.: 2.18.2- 0ubuntu1_ i386.deb /tmp/gnome- terminal- 2.18
dpkg-deb --extract gnome-terminal_
-make sure no gnome-terminal processes are running
-as root (need xterm or similar or non GUI console (e.g. Ctrl+Alt+F1)): gnome-terminal /usr/bin/ gnome-terminal. orig terminal- 2.18/usr/ bin/gnome- terminal /usr/bin/ gnome-terminal liblaunchpad- integration. so.1 /usr/lib/ liblaunchpad- integration. so.0
cp /usr/bin/
cp /tmp/gnome-
ln -s /usr/lib/