FROM python:3.10 | |
# Set up a new user named "user" with user ID 1000 | |
RUN useradd -m -u 1000 user | |
# Switch to the "user" user | |
USER user | |
# Set home to the user's home directory and update PATH | |
ENV HOME=/home/user \ | |
PATH=/home/user/.local/bin:$PATH | |
# Set the working directory to /app | |
WORKDIR /app | |
# Copy requirements.txt and install dependencies | |
COPY --chown=user: ./requirements.txt ./requirements.txt | |
RUN pip install --no-cache-dir --upgrade -r requirements.txt | |
# Copy the rest of the application code | |
COPY --chown=user: . . | |
# Expose necessary ports | |
EXPOSE 7860 80 | |
# Set environment variables | |
ENV PYTHONUNBUFFERED=1 \ | |
GRADIO_ALLOW_FLAGGING=never \ | |
GRADIO_NUM_PORTS=1 \ | |
GRADIO_SERVER_NAME=0.0.0.0 \ | |
SYSTEM=spaces | |
# Specify the command to run the application | |
CMD ["python", "app.py"] | |