running docker on a raspberry pi
@i0null And should you use docker, just to run a TeX installation?