Lines Matching refs:file_name
62 def copy_file_if_exists(src_top, dest_top, file_name):
63 """copy file src_top/file_name to dest_top/file_name
65 src_full_name = src_top + "/" + file_name
69 dest_file = dest_top + "/" + file_name
105 for file_name in result_list:
106 file_list.append(file_name)
139 def save_list(list_to_save, file_name):
140 f = open(file_name, "w")
145 def load_list(file_name):
147 if not os.path.isfile(file_name):
150 for line in open(file_name, "r"):
