Searched refs:end_line (Results 1 – 2 of 2) sorted by relevance
125 local end_line="$(grep -n -F "${end_delim}" "${dst_file}" | cut -d: -f1)"129 (( end_line++ ))139 if [[ -z "$end_line" ]]; then145 if [[ "$start_line" -ge "$end_line" ]]; then146 echo "Starting delim later than ending delim: $start_line vs $end_line" >& 2157 tail -n "+${end_line}" "${dst_file}" >> "${tmp_name}"
451 def request_lines(self, start_line, end_line): argument452 self.requested_lines |= set(range(start_line, end_line + 1))705 end_file_path, end_line = end_source[-1]706 if start_file_path != end_file_path or start_line > end_line:709 source_file.request_lines(start_line, end_line)710 function.source_info = (source_file.file_id, start_line, end_line)