finding locations of many files via kpse

[Jonathan Fine]

Hi Norbert

Here's something that might help, depending on the numbers. On a high speed
device, eg NVMe, populate a copy of the file system, except all files are
empty.

With kind regards
Jonathan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://tug.org/pipermail/texhax/attachments/20240702/0c4595c6/attachment.htm>