FROM python:3.12-slim

RUN pip install --no-cache-dir devpi-server devpi-web

RUN devpi-init --serverdir /data || true

EXPOSE 3141

VOLUME /data

CMD ["devpi-server", "--serverdir", "/data", "--host", "0.0.0.0", "--port", "3141"]