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

[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, but it requires 
marginally more work than just writing this message.