File size: 707 Bytes
5d1b722
43c61aa
c367116
 
 
 
 
43c61aa
be542ab
dc0d6c9
be542ab
ea90fb2
 
e6f585a
ea90fb2
 
2d91db2
ea90fb2
be542ab
 
ea90fb2
be542ab
ea90fb2
 
be542ab
 
ea90fb2
 
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
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"]