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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
