Searched refs:dst_file (Results 1 – 1 of 1) sorted by relevance
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}" >& 2137 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2142 echo "No ending delimiter found in ${dst_file}" >& 2143 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2149 echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2157 head -n "$start_line" "${dst_file}" > "${tmp_name}"159 tail -n "+${end_line}" "${dst_file}" >> "${tmp_name}"[all …]