From 9709c4d2742dadb0089147fb4ea3a3e731dcec07 Mon Sep 17 00:00:00 2001 From: Jose Luis Blanco-Claraco Date: Wed, 3 Jul 2024 11:00:10 +0200 Subject: [PATCH] docs: prefer remote mp4 files --- docs/remote-static-files.sh | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/docs/remote-static-files.sh b/docs/remote-static-files.sh index bf0476e3..f5577dfa 100644 --- 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/