Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > gnu.bash.bug > #16625

Re: EOF not disabled in readline

Show all headers | View raw

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    chet@case.edu    http://tiswww.cwru.edu/~chet/

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Re: EOF not disabled in readline Chet Ramey <chet.ramey@case.edu> - 2020-07-27 11:09 -0400

csiph-web