Docker auf einem Raspberry Pi zu installieren ist keine große Sache und auch sinnvoll, denn die kleine „Handy-Platine“ ist durchaus in der Lage mehrere Anwendungen in Containern zu betreiben. Auch ich habe die Prozedur schon einige Male durchlaufen, aber bis dato noch nie niedergeschrieben. Eine Nachlässigkeit, die ich hiermit korrigiere.