Searched refs:end_line (Results 1 – 2 of 2) sorted by relevance
126 local end_line="$(grep -n -F "${end_delim}" "${dst_file}" | cut -d: -f1)"130 (( end_line++ ))140 if [[ -z "$end_line" ]]; then146 if [[ "$start_line" -ge "$end_line" ]]; then147 echo "Starting delim later than ending delim: $start_line vs $end_line" >& 2158 tail -n "+${end_line}" "${dst_file}" >> "${tmp_name}"
487 def request_lines(self, start_line: int, end_line: int):488 self.requested_lines |= set(range(start_line, end_line + 1))754 end_file_path, end_line = end_source[-1]755 if start_file_path != end_file_path or start_line > end_line:758 source_file.request_lines(start_line, end_line)759 function.source_info = (source_file.file_id, start_line, end_line)