add inputrc; minor bash enhancement