As stated by their authors devpi isn't only PyPi mirror, it can also
be used to:
More details about it's usage can be seen in devpi documentation
This image exposes the port 3141 from where PyPi mirror can be accessed.
Besides that, the volume /devpi/server is expected to be available, this is
the path where all files from the mirror are served.
To start a server instance one can simply:
docker run -i -t --rm joaodubas/devpi
And this will start devpi server with all the needed defaults.
Content type
Image
Digest
sha256:19b165ab0…
Size
84.5 MB
Last updated
almost 11 years ago
docker pull joaodubas/devpi