Fixig ctrl+r not working in mysql prompt
Moving stuff around