File size: 753 Bytes
8e6748e
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
73e0168
8e6748e
 
73e0168
8e6748e
 
 
8fc5fd1
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
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.py app.py requirements.txt $HOME/app/

# Install dependencies
RUN pip install "gradio[oauth]" fire
RUN pip install -r requirements.txt

# Run app
ENTRYPOINT python app.py