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 Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs