Readline interface: Difference between revisions