File size: 855 Bytes
8e6748e
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
2f5472b
8e6748e
 
43b024e
8e6748e
 
 
43b024e
8b00326
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
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