Searched refs:linenoiseHistorySave (Results 1 – 5 of 5) sorted by relevance
63 int linenoiseHistorySave(const char *filename);
63 linenoiseHistorySave("history.txt"); /* Save the history on disk. */ in main()
113 int linenoiseHistorySave(const char *filename);126 file. The functions `linenoiseHistorySave` and `linenoiseHistoryLoad` do
1163 int linenoiseHistorySave(const char *filename) { in linenoiseHistorySave() function
1728 if (historyfile) linenoiseHistorySave(historyfile); in repl()