bash inputrc file