Hi Paulo For your example, the initial part of the path is already quick and reliable for excluding many files. After that, on Linux, I suggest using the file command. Jonathan -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://tug.org/pipermail/texhax/attachments/20200123/384231f4/attachment.html>