19 lines
433 B
Text
19 lines
433 B
Text
|
FROM python:3.12-slim
|
||
|
|
|
||
|
|
# Install devpi-server and devpi-web
|
||
|
|
RUN pip install --no-cache-dir devpi-server devpi-web
|
||
|
|
|
||
|
|
# Create non-root user
|
||
|
|
RUN useradd -r -u 1000 devpi && mkdir -p /devpi && chown devpi:devpi /devpi
|
||
|
|
|
||
|
|
# Add startup script
|
||
|
|
COPY --chown=devpi:devpi start.sh /usr/local/bin/start.sh
|
||
|
|
RUN chmod +x /usr/local/bin/start.sh
|
||
|
|
|
||
|
|
USER devpi
|
||
|
|
WORKDIR /devpi
|
||
|
|
|
||
|
|
# Expose default port
|
||
|
|
EXPOSE 3141
|
||
|
|
|
||
|
|
ENTRYPOINT ["/usr/local/bin/start.sh"]
|