Re: lib/58955: libedit: rl_event_hook not called when output is piped to another process

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Thu, 9 Jan 2025 16:25:16 -0500
    From:        Christos Zoulas <christos%zoulas.com@localhost>
    Message-ID:  <6008A2D2-6735-46CE-A54A-E82BD66263FF%zoulas.com@localhost>

  | If it works for non-interactive processes we should change our code.

I haven't checked the code for this (yet anyway) but for sh uses at
least, the definition of interactive (unless forced) is that stdin
and stderr are both ttys, nothing about stdout, which the PR says is
what is being tested.

In general (in sh anyway) libedit works with output redirected, as
in
	sh > /some/file
and piped output should be no different.   I don't use readline emulation,
nor any hooks, so no actual comment about the issue.

kre