From ac00ae4daf5f363226eaa27de10b416fba3fb417 Mon Sep 17 00:00:00 2001 From: notoria Date: Fri, 31 Jul 2020 18:12:38 +0200 Subject: [PATCH] Improved readline --- src/read.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/read.rs b/src/read.rs index 803102bf..9230f76e 100644 --- a/src/read.rs +++ b/src/read.rs @@ -67,7 +67,10 @@ pub mod readline { } } - *self.pending_input.get_mut() += "\n"; + if self.pending_input.get_ref().chars().last() != Some('\n') + { + *self.pending_input.get_mut() += "\n"; + } self.pending_input.read(buf) } Err(ReadlineError::Eof) => { -- 2.54.0