On 7/24/20 1:32 AM, Grisha Levit wrote:
> It seems that disabling the EOF character does not have an effect on
> readline.
No. Readline will bind a few of the special tty characters to their
readline equivalents (controlled by the `bind-tty-special-chars' variable),
but the EOF character is not one of them.
What it does is to save the EOF character -- unless it's been disabled --
and special-case it as the first character read on an otherwise empty
line. It defaults that character to ^D, which remains the default if the
stty eof character is disabled.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
