move map.html to index.html

rpatel3001 · Apr 8, 2024 · a22acd6 · a22acd6
1 parent b140283
commit a22acd6
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -51,6 +51,8 @@ RUN set -x && \
     # install iridium-toolkit
     git clone https://github.com/muccc/iridium-toolkit.git /opt/iridium-toolkit && \
     pushd /opt/iridium-toolkit && \
+    mv html/map.html html/index.html && \
+    rm html/example.sh && \
     git apply /tmp/iridium-toolkit.patch && \
     popd && \
     # install gr-iridium