I was surprised to learn from Steve Isard's recent message that 'linux' is
one of the values for $TERM that works for poplog. I am doubly surprised
because different terminal types with different interaction requirements,
for which different settings are needed, can be used on linux. So, in
principle, 'linux' should *not* determine a terminal type.
> File: C.all/lib/ved/term/vedlinuxkeys.p
> Purpose: Set up VED key bindings for linux type terminals
> Author: Andrew Sayers (Birmingham), 16 Feb 2000
Extended by Aaron Sloman, 30 Jul 2001
Your principles seem to have evolved :-)
Steve
