Remix.run Logo
zahlman 4 days ago

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.