Searched refs:history_filename_tmp (Results 1 – 1 of 1) sorted by relevance
467 std::string history_filename_tmp = history_filename + ".new"; in save_input_history() local468 std::fstream history_file(history_filename_tmp.c_str(), std::ios::out | std::ios::trunc); in save_input_history()492 std::rename(history_filename_tmp.c_str(), history_filename.c_str()); in save_input_history()