an inputrc file