Bonjour,
I just noticed that providing a log file to the `sage -t` command is currently broken with the most recent version:
$ sage -v
SageMath version 9.5.beta5, Release Date: 2021-10-28
$ sage -t src/sage/rings/integer.pyx
sage -t --random-seed=71352052423083427285276605183088217936 src/sage/rings/integer.pyx
[1145 tests, 3.32 s]
----------------------------------------------------------------------
All tests passed!
----------------------------------------------------------------------
$ sage -t src/sage/rings/integer.pyx --log=a.log
Traceback (most recent call last):
File "/home/slabbe/GitBox/sage/src/bin/sage-runtests", line 151, in <module>
err = DC.run()
File "/home/slabbe/GitBox/sage/local/lib/python3.8/site-packages/sage/doctest/control.py", line 1251, in run
self.expand_files_into_sources()
File "/home/slabbe/GitBox/sage/local/lib/python3.8/site-packages/sage/doctest/control.py", line 835, in expand_files_into_sources
self.sources = [FileDocTestSource(path, self.options) for path in expand()]
File "/home/slabbe/GitBox/sage/local/lib/python3.8/site-packages/sage/doctest/control.py", line 835, in <listcomp>
self.sources = [FileDocTestSource(path, self.options) for path in expand()]
File "/home/slabbe/GitBox/sage/local/lib/python3.8/site-packages/sage/doctest/sources.py", line 527, in __init__
raise ValueError("unknown file extension %r"%ext)
ValueError: unknown file extension '.log'