Readline frontend