The obvious ways to do this sort of thing in Bash have some nasty gotchas on non-standard filenames, though. And a Python solution that avoids those problems i

The obvious ways to do this sort of thing in Bash have some nasty gotchas on non-standard filenames, though. And a Python solution that avoids those problems is also quite simple and terse for the example you gave, and probably for most problems in the category.