Closed fchapoton closed 2 months ago
Thank you! Can I ask how you decided we don't need to catch IOError
- was there some tool that was used to detect this?
In Python 3.3+, IOError is an alias of OSError https://docs.python.org/3/library/exceptions.html#OSError.filename2 https://peps.python.org/pep-3151/#confusing-set-of-os-related-exceptions
Ah, thank you! I will sort this PR for merging after another one has gone in.
I am using the tool ruff
, which can check many things.
Thank you! Merged in.
and a few minor code details in the 3rd commit