A Python program I'm writing is to read a set number of lines from the top of a file, and the program needs to preserve this header for future use. Currently, I'm doing something similar to the following:
header = ''
header_len = 4
for i in range(1, header_len):
header += file_handle.readline()
Pylint complains that I'm not using the variable i. What would be a more pythonic way to do this?
Edit: The purpose of the program is to intelligently split the original file into smaller files, each of which contains the original header and a subset of the data. So, I need to read and preserve just the header before reading the rest of the file.
Edit 2: Changed the question title (from "Pythonic way to read a set number of lines from a file") since similar questions were coming up and apparently not getting referred to this one.