From 849dd14273309b6ee8e47b1bdb59642681122070 Mon Sep 17 00:00:00 2001 From: SeungJong Ha Date: Thu, 11 Sep 2025 15:47:49 +0000 Subject: [PATCH 1/2] fix: resolve path overwrite --- dockerize/Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/dockerize/Dockerfile b/dockerize/Dockerfile index 7f39554..98fc3e8 100644 --- a/dockerize/Dockerfile +++ b/dockerize/Dockerfile @@ -37,7 +37,7 @@ RUN $SCRIPT/install-ocaml.sh # Setup checkml WORKDIR / USER root -RUN git clone https://github.com/prosyslab-classroom/checkml.git +RUN git clone https://github.com/prosyslab-classroom/checkml.git RUN cd checkml && ./build.sh RUN cp /checkml/_build/default/src/checkml.exe /usr/bin/checkml @@ -50,7 +50,7 @@ RUN echo "export PATH=/dafny:\$PATH" >> /home/student/.bashrc # Install huggingface RUN pip3 install -U "huggingface_hub[cli]" -RUN echo "export PATH=\"$HOME/.local/bin:$PATH\"" >> /home/student/.bashrc +RUN echo "export PATH=$HOME/.local/bin:$PATH" >> /home/student/.bashrc # Setup BitNet RUN git clone --recursive https://github.com/prosyslab-classroom/BitNet @@ -64,4 +64,4 @@ RUN ln -s /BitNet/run_inference.sh /usr/local/bin/run_inference # Clean up RUN rm -rf $SCRIPT USER student -WORKDIR $HOME \ No newline at end of file +WORKDIR $HOME From 2b2e39a884bf403bc8a2f255c69d65a15a691fa8 Mon Sep 17 00:00:00 2001 From: SeungJong Ha Date: Thu, 11 Sep 2025 15:51:46 +0000 Subject: [PATCH 2/2] fix: resolve path overwrite --- dockerize/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dockerize/Dockerfile b/dockerize/Dockerfile index 98fc3e8..476011d 100644 --- a/dockerize/Dockerfile +++ b/dockerize/Dockerfile @@ -50,7 +50,7 @@ RUN echo "export PATH=/dafny:\$PATH" >> /home/student/.bashrc # Install huggingface RUN pip3 install -U "huggingface_hub[cli]" -RUN echo "export PATH=$HOME/.local/bin:$PATH" >> /home/student/.bashrc +RUN echo "export PATH=$HOME/.local/bin:\$PATH" >> /home/student/.bashrc # Setup BitNet RUN git clone --recursive https://github.com/prosyslab-classroom/BitNet