Lines Matching refs:dst_file
110 local dst_file="$2"
114 local start_line="$(grep -n -F "${start_delim}" "${dst_file}" | cut -d: -f1)"
115 local end_line="$(grep -n -F "${end_delim}" "${dst_file}" | cut -d: -f1)"
124 echo "No starting delimiter found in ${dst_file}" >& 2
125 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2
130 echo "No ending delimiter found in ${dst_file}" >& 2
131 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2
137 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2
145 head -n "$start_line" "${dst_file}" > "${tmp_name}"
147 tail -n "+${end_line}" "${dst_file}" >> "${tmp_name}"
151 mv "${tmp_name}" "${dst_file}"
152 echo "OK: Inserted $(relpath "$src_part") into $(relpath "$dst_file")"
153 out_files+=$'\n'" $dst_file"
