diff options
| author | Damien George <damien.p.george@gmail.com> | 2017-03-03 17:55:40 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-03-03 17:55:40 +1100 |
| commit | 5e83a75c78dc8c370b25e7ee669295854ea45130 (patch) | |
| tree | cdf73d65f11e02078737bc08e88e8e096c7ea144 | |
| parent | 3d91c12d3382226263ea3d660b48f1ef1125d099 (diff) | |
| download | micropython-5e83a75c78dc8c370b25e7ee669295854ea45130.tar.gz micropython-5e83a75c78dc8c370b25e7ee669295854ea45130.zip | |
unix: Remove remaining, obsolete traces of GNU readline support.
| -rw-r--r-- | unix/input.c | 14 | ||||
| -rw-r--r-- | unix/main.c | 2 |
2 files changed, 1 insertions, 15 deletions
diff --git a/unix/input.c b/unix/input.c index 15ee60e750..7cd527fedc 100644 --- a/unix/input.c +++ b/unix/input.c @@ -35,10 +35,6 @@ #if MICROPY_USE_READLINE == 1 #include "lib/mp-readline/readline.h" -#elif MICROPY_USE_READLINE == 2 -#include <readline/readline.h> -#include <readline/history.h> -#include <readline/tilde.h> #endif char *prompt(char *p) { @@ -66,12 +62,6 @@ char *prompt(char *p) { char *line = malloc(vstr.len + 1); memcpy(line, vstr.buf, vstr.len + 1); vstr_clear(&vstr); -#elif MICROPY_USE_READLINE == 2 - // GNU readline - char *line = readline(p); - if (line) { - add_history(line); - } #else // simple read string static char buf[256]; @@ -124,8 +114,6 @@ void prompt_read_history(void) { } vstr_clear(&vstr); } - #elif MICROPY_USE_READLINE == 2 - read_history(tilde_expand("~/.micropython.history")); #endif #endif } @@ -152,8 +140,6 @@ void prompt_write_history(void) { close(fd); } } - #elif MICROPY_USE_READLINE == 2 - write_history(tilde_expand("~/.micropython.history")); #endif #endif } diff --git a/unix/main.c b/unix/main.c index ad654780d2..d916cdeb88 100644 --- a/unix/main.c +++ b/unix/main.c @@ -249,7 +249,7 @@ STATIC int do_repl(void) { #else - // use GNU or simple readline + // use simple readline for (;;) { char *line = prompt(">>> "); |