summaryrefslogtreecommitdiff
path: root/unix/main.c
diff options
context:
space:
mode:
authorPaul Sokolovsky <pfalcon@users.sourceforge.net>2015-10-20 12:30:36 +0300
committerPaul Sokolovsky <pfalcon@users.sourceforge.net>2015-10-20 12:30:36 +0300
commit8e6e9eaea575f2f9b7b3591c813002cd94ff45e3 (patch)
treee519b109c1a9577ddf1a3080fefdd26a0b49071c /unix/main.c
parentacea9352a97480c6cab9a57a87581ffda2681faf (diff)
unix: Use "Ctrl" as a name of the key, not "CTRL".
Diffstat (limited to 'unix/main.c')
-rw-r--r--unix/main.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/unix/main.c b/unix/main.c
index d94544caa..eed7065bf 100644
--- a/unix/main.c
+++ b/unix/main.c
@@ -154,7 +154,7 @@ STATIC char *strjoin(const char *s1, int sep_char, const char *s2) {
STATIC int do_repl(void) {
mp_hal_stdout_tx_str("MicroPython " MICROPY_GIT_TAG " on " MICROPY_BUILD_DATE "; "
- MICROPY_PY_SYS_PLATFORM " version\nUse CTRL-D to exit, CTRL-E for paste mode\n");
+ MICROPY_PY_SYS_PLATFORM " version\nUse Ctrl-D to exit, Ctrl-E for paste mode\n");
#if MICROPY_USE_READLINE == 1
@@ -178,7 +178,7 @@ STATIC int do_repl(void) {
return 0;
} else if (ret == CHAR_CTRL_E) {
// paste mode
- mp_hal_stdout_tx_str("\npaste mode; CTRL-C to cancel, CTRL-D to finish\n=== ");
+ mp_hal_stdout_tx_str("\npaste mode; Ctrl-C to cancel, Ctrl-D to finish\n=== ");
vstr_reset(&line);
for (;;) {
char c = mp_hal_stdin_rx_chr();