diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2015-03-13 09:45:42 +0200 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-03-13 21:46:19 +0000 |
| commit | 1129de5ac09ac5b41a952021cbc7a9752c8c253f (patch) | |
| tree | 7bd931a5bbcb7cc2eb5c45539f2972d76fc84652 /unix/main.c | |
| parent | 143c34109c870544c0aabe95f376fa500dd6cd3f (diff) | |
unix: Support readline history saving to file, improves interactive usage.
Diffstat (limited to 'unix/main.c')
| -rw-r--r-- | unix/main.c | 3 |
1 files changed, 3 insertions, 0 deletions
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; } |