Lines Matching refs:dst_file
122 local dst_file="$2"
126 local start_line="$(grep -n -F "${start_delim}" "${dst_file}" | cut -d: -f1)"
127 local end_line="$(grep -n -F "${end_delim}" "${dst_file}" | cut -d: -f1)"
136 echo "No starting delimiter found in ${dst_file}" >& 2
137 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2
142 echo "No ending delimiter found in ${dst_file}" >& 2
143 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2
149 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2
157 head -n "$start_line" "${dst_file}" > "${tmp_name}"
159 tail -n "+${end_line}" "${dst_file}" >> "${tmp_name}"
163 mv "${tmp_name}" "${dst_file}"
164 echo "OK: Inserted $(relpath "$src_part") into $(relpath "$dst_file")"
165 out_files+=$'\n'" $dst_file"
