On Wed, May 12, 2021 at 3:42 PM Christoph M. Becker
wrote:
> On 12.05.2021 at 10:12, Nikita Popov wrote:
>
> > I think we would be better off disabling -a completely if readline is not
> > available, and exit with a helpful error message. I've opened
> > https://github.com/php/php-src/pull/6976 t
On 12.05.2021 at 10:12, Nikita Popov wrote:
> I think we would be better off disabling -a completely if readline is not
> available, and exit with a helpful error message. I've opened
> https://github.com/php/php-src/pull/6976 to that effect. Does that sound
> reasonable?
I'm in favor of dropping
