Searched defs:history_file (Results 1 – 4 of 4) sorted by relevance
67 void *ctx, const char *history_file, const char *ps) in edit_init()82 void edit_deinit(const char *history_file, in edit_deinit()
115 void *ctx, const char *history_file, const char *ps) in edit_init()147 void edit_deinit(const char *history_file, in edit_deinit()
1116 void *ctx, const char *history_file, const char *ps) in edit_init()1144 void edit_deinit(const char *history_file, in edit_deinit()
24281 char *history_file = NULL; in Jim_InteractivePrompt() local