docs: prefer remote mp4 files

MOLAorg · Jul 3, 2024 · 9709c4d · 9709c4d
1 parent 1c72617
commit 9709c4d
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/docs/remote-static-files.sh b/docs/remote-static-files.sh
@@ -1,11 +1,12 @@
 set -x
 set -e
 
-if [ ! -d html/videos/ ]; then
-    mkdir html/videos
-    (cd html/videos/ && wget https://mrpt.github.io/videos/mp2p_icp-log-viewer-demo.mp4)
-    (cd html/videos/ && wget https://mrpt.github.io/videos/mola_main_page_video.mp4);
-    (cd html/videos/ && wget https://mrpt.github.io/videos/mola-lo-gui-kitti_demo_00.mp4);
-fi
+# Better to hot-link?
+# if [ ! -d html/videos/ ]; then
+#     mkdir html/videos
+#     (cd html/videos/ && wget https://mrpt.github.io/videos/mp2p_icp-log-viewer-demo.mp4)
+#     (cd html/videos/ && wget https://mrpt.github.io/videos/mola_main_page_video.mp4);
+#     (cd html/videos/ && wget https://mrpt.github.io/videos/mola-lo-gui-kitti_demo_00.mp4);
+# fi
 
 cp -v ../../mola_lidar_odometry/docs/imgs/* html/imgs/