no need to send comint-send-input twice in shell