Re: [patch] increase command buffer ksh

2017-06-28 Thread Anton Lindqvist
On Wed, Jun 28, 2017 at 07:36:54PM +0200, Martijn van Duren wrote: > On 06/28/17 19:00, Theo de Raadt wrote: > > Sounds good. > > > > It might be nice to determine if these two variables should be one, > > ie. tied together better. > > I was thinking the same thing. Both are used for input line b

Re: [patch] increase command buffer ksh

2017-06-28 Thread Martijn van Duren
On 06/28/17 19:00, Theo de Raadt wrote: > Sounds good. > > It might be nice to determine if these two variables should be one, > ie. tied together better. I was thinking the same thing. Both are used for input line buffering, so I reckon that's sane. Identical checksum compared to previous diff.

Re: [patch] increase command buffer ksh

2017-06-28 Thread Theo de Raadt
Sounds good. It might be nice to determine if these two variables should be one, ie. tied together better. > Hello tech@, > > On monday I was playing with the build environment of PHP and all of a > sudden I couldn't finish the command because the command buffer was > full, so I was forced to u

[patch] increase command buffer ksh

2017-06-28 Thread Martijn van Duren
Hello tech@, On monday I was playing with the build environment of PHP and all of a sudden I couldn't finish the command because the command buffer was full, so I was forced to use bash to finish what I set out to do. Of course I'd rather stay on ksh, so here's a patch (guided by anton@) which in