Re: new grotty format

[Eli Zaretskii]

On Sat, 9 Feb 2002, Werner LEMBERG wrote:

> > Also, I'm unsure what would a typical `man' and a typical pager do with
> > those escapes, especially if the terminal doesn't support colors?
> > What does, for example, GNU Less do?
> 
> You need the option -R.  Either set the PAGER environment variable
> like this:
> 
>   PAGER="less -R"

AFAICS, -R just lets the escape sequences come through unaltered.  It 
would be much nicer if it would convert them into the color commands
for the underlying terminal, according to its termcap/terminfo entry.

(Btw, doesn't -R get in the way with man pages that contain non-ASCII 
characters, notably some CJK encodings which use escapes to switch 
between character sets?)