From 1129de5ac09ac5b41a952021cbc7a9752c8c253f Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky
Date: Fri, 13 Mar 2015 09:45:42 +0200
Subject: unix: Support readline history saving to file, improves interactive
 usage.

---
 unix/main.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'unix/main.c')

diff --git a/unix/main.c b/unix/main.c
index cf8609d9f..6a142f06c 100644
--- a/unix/main.c
+++ b/unix/main.c
@@ -301,6 +301,8 @@ STATIC void set_sys_argv(char *argv[], int argc, int start_arg) {
 #endif
 
 int main(int argc, char **argv) {
+    prompt_read_history();
+
     mp_stack_set_limit(32768);
 
     pre_process_options(argc, argv);
@@ -477,6 +479,7 @@ int main(int argc, char **argv) {
 #endif
 
     //printf("total bytes = %d\n", m_get_total_bytes_allocated());
+    prompt_write_history();
     return ret & 0xff;
 }
 
-- 
cgit v1.2.3