From e5c8b187ec2b7c3f5160c4135b2e7d6de10177c5 Mon Sep 17 00:00:00 2001
From: laurentheirendt <laurent.heirendt@uni.lu>
Date: Thu, 2 Jul 2020 08:48:03 +0200
Subject: [PATCH] set autoredirect
---
.ci/deploy.sh | 11 +++++++++++
1 file changed, 11 insertions(+)
diff --git a/.ci/deploy.sh b/.ci/deploy.sh
index 1d7ad3a7..2aced0f8 100644
--- a/.ci/deploy.sh
+++ b/.ci/deploy.sh
@@ -56,6 +56,17 @@ do
echo " > latest built for file set ${BLADE}"
+ # auto redirect file to the stable version
+ echo '<html>\n
+ <head>\n
+ <meta http-equiv="refresh" content="0; url='$PAGEURL'/'$BLADE'/stable/index.html"/>\n
+ </head>\n
+ <body>\n
+ </bod>\n
+ </html>\n' > $rootDir/public/$BLADE/index.html
+
+ echo "autoredirect file set"
+
# move back out
cd ..
echo " > -----------------------------------------------------"
--
GitLab