From ac910739acd08d666c68a36f0a9a8b60240cecf1 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Mon, 23 Sep 2024 12:20:16 +0200
Subject: [PATCH] In the lab, we add Minigrid into the notebooks dir

---
 dockerfile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/dockerfile b/dockerfile
index 0c1a09c..7b252c4 100644
--- a/dockerfile
+++ b/dockerfile
@@ -84,10 +84,10 @@ RUN cmake ..
 RUN make -j $no_threads
 
 # build minigrid
-COPY ./Minigrid /opt/Minigrid
-RUN rm -r /opt/Minigrid/.git
-WORKDIR /opt/Minigrid
-RUN pip install .
+#COPY ./Minigrid /opt/Minigrid
+#RUN rm -r /opt/Minigrid/.git
+#WORKDIR /opt/Minigrid
+#RUN pip install .