Searched refs:dest_file (Results 1 – 1 of 1) sorted by relevance
69 dest_file = dest_top + "/" + file_name70 dest_dir = os.path.dirname(dest_file)73 print "copy file ", src_full_name, " to ", dest_file74 os.system("cp -a " + src_full_name + " " + dest_file)78 def copy_file_new_name_if_exists(src_full_name, dest_dir, dest_file): argument84 dest_full_name = dest_dir + "/" + dest_file