A better inputrc