Lines Matching refs:dst_file

120     local dst_file="$2"
124     local start_line="$(grep -n -F "${start_delim}" "${dst_file}" | cut -d: -f1)"
125     local end_line="$(grep -n -F "${end_delim}" "${dst_file}" | cut -d: -f1)"
134        echo "No starting delimiter found in ${dst_file}" >& 2
135        echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2
140        echo "No ending delimiter found in ${dst_file}" >& 2
141        echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2
147        echo "FAIL: Errors in inserting into $(relpath ${dst_file})" >& 2
155     head -n "$start_line" "${dst_file}" > "${tmp_name}"
157     tail -n "+${end_line}" "${dst_file}" >> "${tmp_name}"
161     mv "${tmp_name}" "${dst_file}"
162     echo "OK: Inserted $(relpath "$src_part") into $(relpath "$dst_file")"
163     out_files+=$'\n'" $dst_file"