Searched refs:old_init_file (Results 1 – 2 of 2) sorted by relevance
1087 const char *old_init_file; local1094 old_init_file = current_readline_init_file;1103 current_readline_init_file = old_init_file;
4262 FILE *old_init_file = NULL; in dump_ee_conf() local4300 old_init_file = fopen(buffer, "r"); in dump_ee_conf()4311 if (old_init_file != NULL) in dump_ee_conf()4316 while ((string = fgets(buffer, 512, old_init_file)) != NULL) in dump_ee_conf()4332 fclose(old_init_file); in dump_ee_conf()