On 12 November 2015 at 11:31, Benno Schulenberg <bensb...@justemail.net> wrote: > > On Wed, Nov 11, 2015, at 14:02, Arturo Borrero Gonzalez wrote: >> perhaps you could check from nano the terminal type and set the codes >> conditionally to terminal types. > > But how? I do not know of a function what_terminal_is_this(). > And your xfce4-terminal reports itself as an xterm, my > gnome-terminal too, pantheon... >
OK, I see. It's not a problem of the terminal type itself. I wonder if this issue is somewhat related to locales or keyboard layout. The key point is, I guess, how different codes are produced for the same shortcuts. How can we identify who or which component of the system is responsible for generating these codes? > Hmm, what does 'env | grep -i term' say in your case? > For me it outputs: > > TERM=xterm > COLORTERM=gnome-terminal > in both xfce4-terminal and xterm: % env | grep -i term TERM=xterm COLORTERM=xfce4-terminal -- Arturo Borrero González