diff options
| -rw-r--r-- | tools/mpremote/mpremote/repl.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/mpremote/mpremote/repl.py b/tools/mpremote/mpremote/repl.py index 3d6ca1881..d5eb2b871 100644 --- a/tools/mpremote/mpremote/repl.py +++ b/tools/mpremote/mpremote/repl.py @@ -8,7 +8,7 @@ def do_repl_main_loop(state, console_in, console_out_write, *, code_to_inject, f console_in.waitchar(state.pyb.serial) c = console_in.readchar() if c: - if c == b"\x1d": # ctrl-], quit + if c in (b"\x1d", b"\x18"): # ctrl-] or ctrl-x, quit break elif c == b"\x04": # ctrl-D # special handling needed for ctrl-D if filesystem is mounted @@ -56,7 +56,7 @@ def do_repl(state, args): file_to_inject = args.inject_file print("Connected to MicroPython at %s" % state.pyb.device_name) - print("Use Ctrl-] to exit this shell") + print("Use Ctrl-] or Ctrl-x to exit this shell") if capture_file is not None: print('Capturing session to file "%s"' % capture_file) capture_file = open(capture_file, "wb") |