@dermoth I was yesterday years old when I learned about inputrc from your post. Duh. Thank you!!