Re: [Chicken-users] readline: history, empty lines, duplicate lines

2006-10-23 Thread felix winkelmann
Thanks, Toby. Egg is updated. cheers, felix On 10/22/06, Toby Butzon <[EMAIL PROTECTED]> wrote: Hi, On 10/20/06, Dan <[EMAIL PROTECTED] > wrote: > > > Another useful thing would be not to save duplicate lines, but it > > > requires marginally more work than just writing this message. > > I th

Re: [Chicken-users] readline: history, empty lines, duplicate lines

2006-10-21 Thread Toby Butzon
Hi,On 10/20/06, Dan <[EMAIL PROTECTED] > wrote: > > Another useful thing would be not to save duplicate lines, but it> > requires marginally more work than just writing this message.> I think this could be a configuration option like, if I remember > correctly, it is in shells like GNU Bash.Right,

Re: [Chicken-users] readline: history, empty lines, duplicate lines

2006-10-21 Thread felix winkelmann
On 10/20/06, Dan <[EMAIL PROTECTED]> wrote: Someone please patch the readline egg: 335c335 < if (gnu_readline_buf != NULL) --- > if (gnu_readline_buf != NULL && *gnu_readline_buf != '\0') Done. Thanks. cheers, felix -- http://galinha.ucpel.tche.br:8081/blog/blog.ssp _

Re: [Chicken-users] readline: history, empty lines, duplicate lines

2006-10-20 Thread Dan
> > Another useful thing would be not to save duplicate lines, but it > > requires marginally more work than just writing this message. > I think this could be a configuration option like, if I remember > correctly, it is in shells like GNU Bash. Right, but (i) this feature needs to be programmed

Re: [Chicken-users] readline: history, empty lines, duplicate lines

2006-10-20 Thread Mario Domenech Goulart
Hello Dan, On Thu, 19 Oct 2006 23:55:22 -0700 (PDT) Dan <[EMAIL PROTECTED]> wrote: > Is anyone using the readline egg? I use it quite frequently when I want to quickly test something simple. > Another useful thing would be not to save duplicate lines, but it > requires marginally more work than

[Chicken-users] readline: history, empty lines, duplicate lines

2006-10-20 Thread Dan
Someone please patch the readline egg: 335c335 < if (gnu_readline_buf != NULL) --- > if (gnu_readline_buf != NULL && *gnu_readline_buf != '\0') to avoid blank lines being saved to history. Is anyone using the readline egg? Another useful thing would be not to save duplicate lines, b