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.
Since you’re going to write header back to the new files, you don’t need to do anything with it. To write it back to the new file:
if you know the number of lines in the old file,
list_of_lineswould become: