Add readline history support.

micropython · dpgeorge · Jan 1, 2014 · Jan 1, 2014 · Jan 1, 2014 · Jan 1, 2014
commit 903b24f04197bec266882d2ae5cd752dd88ae74d
diff --git a/unix/main.c b/unix/main.c
@@ -16,6 +16,7 @@
 #include "repl.h"
 
 #include <readline/readline.h>
+#include <readline/history.h>
 
 static char *str_join(const char *s1, int sep_char, const char *s2) {
     int l1 = strlen(s1);
@@ -38,6 +39,7 @@ static void do_repl(void) {
             // EOF
             return;
         }
+        add_history(line);
         if (mp_repl_is_compound_stmt(line)) {
             for (;;) {
                 char *line2 = readline("... ");