> What operating system? I think it's called Raspbian, the Raspberry Pi variant of Debian. More specifically: rpi3 5.10.63-v7+ #1496 according to uname. -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://tug.org/pipermail/tex-live/attachments/20220415/d271aa36/attachment.html>