Ok, write this in a notebook first, so I don't press 'enter' too soon ...
I solved the problem, but I'm not sure why the solution solves this problem.
As it turns out, the reason why you could read, and not another, was that the one that was cut off earlier was created using a Python script, while the other was created earlier.
Despite the fact that I closed the file, the file was not completely written to disk, or when I grabbed it, it was just what was in the buffer. Something like that.
Performing:
del f
And then, trying to capture the file, I got the whole file. And yes, I used f.close after writing the file.
So, the problem is solved, but can someone explain to me the reason why I had to manually collect garbage in this case? I did not think that I would need to do this in Python.
source share