Searched refs:write_history (Results 1 – 6 of 6) sorted by relevance
178 write_history(history_file); in edit_deinit()
205 write_history
1446 write_history(const char *filename) in write_history() function
4043 * readline.c: PR/32817: Magnus Svensson: write_history and
200 int write_history(const char *);
204 # define shell_write_history(X) write_history(X)