inputrc for bash input