From 6c38f597fd25e39a0082c2aadc91763d7bb89fc7 Mon Sep 17 00:00:00 2001 From: Kelvin Sherlock Date: Thu, 21 Mar 2019 18:05:04 -0400 Subject: [PATCH] use ] as the debug shell prompt. --- src/debug_shell.re2c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/debug_shell.re2c b/src/debug_shell.re2c index 7d3bcff..bb1f0e2 100644 --- a/src/debug_shell.re2c +++ b/src/debug_shell.re2c @@ -1525,7 +1525,7 @@ int debug_shell(int code) { do_list(engine.kpc, 1); for(;;) { - cp = x_readline("> "); + cp = x_readline("] "); if (!cp) { fputs("\n", stdout); if (++control_d_count < 2)