I recently realized that CTRL-R does not work anymore as exected in the mysql console tool. It used to let you recall previous commands in an incremental way, in the same way as you do at the bash prompt. Now CTRL-R does nothing anymore .
Do you know since when this happened, and why?
I seached a bit on this, and apparently mysql provides its own readline library. A fix is to recompile mysql by linking with the "system" readline (GNU readline). But is there a way to get CTRL-R back working with the mysql readline?
Maybe it is just a mysql 4.1.7 bug, and i should wait for 4.1.8?