From 5e83a75c78dc8c370b25e7ee669295854ea45130 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Fri, 3 Mar 2017 17:55:40 +1100
Subject: [PATCH] unix: Remove remaining, obsolete traces of GNU readline
support.
---
unix/input.c | 14 --------------
unix/main.c | 2 +-
2 files changed, 1 insertion(+), 15 deletions(-)
diff --git a/unix/input.c b/unix/input.c
index 15ee60e75..7cd527fed 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 ad654780d..d916cdeb8 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(">>> ");
--
GitLab