`ReBenchLog` gauge adapter doesn't work on case-sensitive filesystems about rebench HOT 7 CLOSED

Wonder if this can easily be made case-insensitive?

from rebench.

My reading of https://python.readthedocs.io/en/latest/library/importlib.html and https://peps.python.org/pep-0235/ is that Python is a case-sensitive language, and I didn't see any option to use case insensitive semantics for the import.

So, I fear that's a documentation bug. 🙁

from rebench.

Hmm. I imagine it could be done with some string checking machinery, a masterlist of strings to gauge formats (instead of importing dynamically). Is that worthwhile, or should I amend the docs and add a help message for when Python gets an invalid gauge adapter?

from rebench.

Hm, right. We could intercept well known names, check them case insensitive, and map them to the corresponding and correctly cased name.

Perhaps there's even no need for the dynamic import.
The current model is designed to make it easy to just drop in a suitable file.
But, in practice, none has a custom one.
It's also not really practical since if one would install ReBench via pip, one probably would want to have the gauge adapter somehow separate, possibly next to the benchmark config.

Give that rather suboptimal situation, we could try something like looking for gauge adapters on the disk, and then check case insensitively whether the names match, and use the file name we found on the disk for import.

from rebench.

And, yeah, one could possibly indeed drop the dynamic import altogether until someone actually asks for it.

from rebench.

It wasn't immediately apparent how to make gauge adapter resolution case insensitive (it's done by attempting to import packages until one hits, not comparing strings/filenames), so I amended some docs and added a more useful error message on failure in #200 .

from rebench.

Now implemented as case-insensitive with #202.

from rebench.