Alexis Lee alexis@turton.com writes:

It does this three times, so it's not very efficient. Can anyone suggest another fair means to do this, reading the whole file at most once?

Either read the whole thing into an array, splitting on "\n.\n" instead of line breaks, or keep meta-data to indicate how many sigs are there. It's an ancient tradeoff.