[Bug-readline] send tgetstr("mm") at init to non-terminal stdout ?

[Harald Koenig]

Hi,

readline seems to output tgetstr("mm") even if stdout is not a terminal
(e.g. pipe/backticks/...). 
IMHO this ESC sequence should only be output to terminal.

unfortuneately, I did not find a way to disable _rl_enable_meta_key()
(or set term_has_meta) via inputrc file



this popped up with some strange output from python, like this

     python -c "import readline" | hexdump 
     python -c "import readline ; print 'foo'" | hexdump 

or

     python | hexdump

and then type "print <ENTER> <CTRL-D"".

while the 1st problem easily can befixed in our local sitecustomize.py
the 2nd problem with plain python startup can't. 

likely other apps using readline might (mis)behave similarly, so I think
that should be fixed within readline ?!


you can find more details about the original python issues in this openSUSE 
ticket

     https://bugzilla.novell.com/show_bug.cgi?id=503121



thanks,

Harald Koenig
-- 
"I hope to die                                      ___       _____
before I *have* to use Microsoft Word.",           0--,|    /OOOOOOO\
Donald E. Knuth, 02-Oct-2001 in Tuebingen.        <_/  /  /OOOOOOOOOOO\
                                                    \  \/OOOOOOOOOOOOOOO\
                                                      \ OOOOOOOOOOOOOOOOO|//
Harald Koenig                                          \/\/\/\/\/\/\/\/\/
science+computing ag                                    //  /     \\  \
address@hidden                            ^^^^^       ^^^^^
-- 
Vorstand/Board of Management:
Dr. Bernd Finkbeiner, Dr. Roland Niemeier, 
Dr. Arno Steitz, Dr. Ingrid Zech
Vorsitzender des Aufsichtsrats/
Chairman of the Supervisory Board:
Michel Lepert
Sitz/Registered Office: Tuebingen
Registergericht/Registration Court: Stuttgart
Registernummer/Commercial Register No.: HRB 382196