eoeair/jupyter
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

repair agda

Browse Source
This commit is contained in:
ben0i0d 2025-02-08 13:42:41 +08:00
parent fd655fd68c
commit b7881b4c35
1 changed files with 2 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
Program/agda/Dockerfile
View File

@ -1,20 +1,5 @@
FROM eoelab.org:1027/eoeair/jupyter:py-c FROM eoelab.org:1027/eoeair/jupyter:py-c
USER root RUN pip install agda_kernel && \
WORKDIR /opt
RUN apt-get update --yes && \
apt-get install --yes --no-install-recommends make && \
apt-get clean && rm -rf /var/lib/apt/lists/* && \
git clone --depth=1 https://eoelab.org:1031/mirrored-sources/agda-kernel.git && cd agda-kernel && \
pip install --no-cache-dir agda_kernel && \
python -m agda_kernel.install && \ python -m agda_kernel.install && \
make codemirror-install pip cache purge
USER ${NB_UID}
WORKDIR "${HOME}"