FROM python:3.11 # 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 ENV HOME=/home/user \ PATH=/home/user/.local/bin:$PATH # Set the working directory to the user's home directory WORKDIR $HOME/app # Try and run pip command after setting the user with `USER user` to avoid permission issues with Python RUN pip install --no-cache-dir --upgrade pip # Copy the current directory contents into the container at $HOME/app setting the owner to the user COPY --chown=user run_job.py start_app.py requirements.txt README.md $HOME/app/ # Install dependencies RUN pip install "gradio[oauth]" RUN pip install -r requirements.txt # Run app ENTRYPOINT python start_app.py # PS: Run with a variable SYSTEM=spaces to enable OAuth on Hugging Face Spaces