Cooper Lees

Many thanks - Should Ubuntu packages eventually upgrade or do I need to request it somewhere? ``` cooper@home1:~$ sudo apt upgrade jool-dkms jool-tools ... jool-dkms is already the newest version...

Thanks for explaining - I went ahead and installed the downloadable .deb files on ubuntu 22.04. My jool-exporter does seems to get data every run now :D Thanks!

This is known. maybe we should document it more. 25TB is pretty crazy, there must be a lot of nightlies or something that add up as PyPI reports ~13.5TB these...

I don't think that helps from memory (I haven't looked in the code for a long time). But I believe we have to map the whole file system in order...

> 1. Should we only support POSIX directory separators (`/`)? - we do this for the regex based options so it would be consistent and not surprising (I'm also not...

#1154 + #1161

Sure. I just haven't used it with non file system mirrors so didn't know if we'd covered it all. Happy to call it done due to your PR :)

PRs to link docs to default.conf and make configparser set default both welcome.

Thanks for digging in. > Presently there is a function in configuration.py that validates most of the options while others are only read in mirror.py. I don't know if it...

> I was wondering if it would make sense to always load the module's default.conf, whether or not there is a user config file, and have values from the user...