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 -- After upgrading to hardy, gnome-terminal windows are not properly restored on login https://bugs.launchpad.net/bugs/221144 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
