File size: 910 Bytes
df8500e a742828 a692df9 a742828 3ef37b3 df8500e a742828 df8500e d147e4b df8500e 3ef37b3 5427767 3ef37b3 5427767 7e89977 3ef37b3 abf597c |
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 31 32 33 34 35 36 37 38 39 40 41 42 43 44 |
FROM h4ckermike/lang_agent:dev
#FROM h4ckermike/unimath-coq-trace-batch2:test1
FROM h4ckermike/meta-coq-utils-data-1:2024-02-12
FROM python:3.8.9
# lang agent
COPY --from=0 /home/opam/ /home/opam/
COPY --from=0 /lang_agent/ /lang_agent/
COPY --from=1 /data /data
WORKDIR /app
COPY ./requirements.txt /app/requirements.txt
COPY ./packages.txt /app/packages.txt
RUN apt-get update && xargs -r -a /app/packages.txt apt-get install -y && rm -rf /var/lib/apt/lists/*
RUN pip3 install --no-cache-dir -r /app/requirements.txt
# User
RUN useradd -m -u 1000 user
RUN chown -R user: /data
USER user
ENV HOME /home/user
ENV PATH $HOME/.local/bin:$PATH
WORKDIR $HOME
RUN mkdir app
WORKDIR $HOME/app
COPY . $HOME/app
# make writable
EXPOSE 8501
CMD streamlit run app.py \
--server.headless true \
--server.enableCORS false \
--server.enableXsrfProtection false \
--server.fileWatcherType none
|