My last suggestion (unconditionally change environment TERM from 'xterm' to 'xterm-vte') is a bit rude. How could I do it more nicely? If it were rxvt or xterm, it would be the simplest:
cat >> ~/.Xdefaults: XTerm.termName=xterm-vte Rxvt.termName=xterm-vte xrdb ~/.Xdefaults But alas, gnome-terminal seems to not use resources, it has an own XML- based configuration system. -- function keys don't work in gnome-terminal https://bugs.launchpad.net/bugs/96676 You received this bug notification because you are a member of Ubuntu-X, which is subscribed to xterm in ubuntu. _______________________________________________ Mailing list: https://launchpad.net/~ubuntu-x-swat Post to : [email protected] Unsubscribe : https://launchpad.net/~ubuntu-x-swat More help : https://help.launchpad.net/ListHelp
