Diff between 73b251b8e8f0de46ce2fc8d1834dff529820d458 and 628c15a5b1f6f1db9f4534b609c3732b592b0536
Changed Files
| File | Additions | Deletions | Status |
| src/shared/shell.c | +1 | -0 | modified |
Full Patch
diff --git a/src/shared/shell.c b/src/shared/shell.c
index 37c747f..107fc7a 100644
--- a/src/shared/shell.c
+++ b/src/shared/shell.c
@@ -719,6 +719,7 @@ void bt_shell_printf(const char *fmt, ...)
saved_line = rl_copy_text(0, rl_end);
if (!data.saved_prompt)
rl_save_prompt();
+ rl_clear_visible_line();
rl_reset_line_state();
}