Spaces:
Running
Running
FROM python:3.10-slim | |
RUN apt-get update && apt-get install -y \ | |
build-essential \ | |
curl \ | |
git \ | |
&& rm -rf /var/lib/apt/lists/* | |
RUN useradd -m -u 1000 user | |
USER user | |
ENV HOME=/home/user | |
WORKDIR $HOME/app | |
# Create github_repo directory and ensure it's owned by `user` | |
RUN mkdir -p $HOME/app/github_repo | |
# Copy application files | |
COPY --chown=user requirements.txt $HOME/app/ | |
COPY --chown=user app.py $HOME/app/ | |
COPY --chown=user ./src/ $HOME/app/src/ | |
# Install dependencies | |
RUN pip install --no-cache-dir --upgrade pip | |
RUN pip install --no-cache-dir -r requirements.txt | |
# The service runs on port 7860 | |
CMD ["streamlit", "run", "app.py", "--server.port=7860", "--server.address=0.0.0.0"] | |