Searched refs:dst_file (Results 1 – 3 of 3) sorted by relevance
121 local dst_file="$2"125 local start_line="$(grep -n -F "${start_delim}" "${dst_file}" | cut -d: -f1)"126 local end_line="$(grep -n -F "${end_delim}" "${dst_file}" | cut -d: -f1)"135 echo "No starting delimiter found in ${dst_file}" >& 2136 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2141 echo "No ending delimiter found in ${dst_file}" >& 2142 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2148 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2156 head -n "$start_line" "${dst_file}" > "${tmp_name}"158 tail -n "+${end_line}" "${dst_file}" >> "${tmp_name}"[all …]
275 dst_file = os.path.join(self.ramdisk_dir, f.split(':')[1])278 dst_file = os.path.join(self.ramdisk_dir, f)280 dst_dir = os.path.dirname(dst_file)284 print("Copying file '{}' into '{}'".format(src_file, dst_file))285 shutil.copy2(src_file, dst_file)
496 auto dst_file = std::make_unique<BsdiffExtentFile>( in PerformSourceBsdiffOperation() local501 std::move(dst_file), in PerformSourceBsdiffOperation()