Searched refs:file_name (Results 1 – 2 of 2) sorted by relevance
62 def copy_file_if_exists(src_top, dest_top, file_name): argument65 src_full_name = src_top + "/" + file_name69 dest_file = dest_top + "/" + file_name105 for file_name in result_list:106 file_list.append(file_name)139 def save_list(list_to_save, file_name): argument140 f = open(file_name, "w")145 def load_list(file_name): argument147 if not os.path.isfile(file_name):150 for line in open(file_name, "r"):
146 for file_name in copy_files_list:147 create_symbolic_link(sourceDir, targetDir, file_name)