Extract lines from file, add to new files

[Rich Shepard]

On Thu, 11 Jan 2024, Piergiorgio Sartor via Python-list wrote:

> Why not to use bash script for all?

Piergiorgio,

That's certainly a possibility, and may well be better than python for this
task.

Thank you,

Rich