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.
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-vte xterm-vte
XTerm.termName=
Rxvt.termName=
xrdb ~/.Xdefaults
But alas, gnome-terminal seems to not use resources, it has an own XML-based configuration system.