Add dynamic redirection 404 page

We want to redirect linking that pages without a version specified to the latest to ensure existing linking continues to work. For everything else, lets redirect to the main page. Signed-off-by: Martyn Welch <martyn.welch@collabora.com>

Add dynamic redirection 404 page
We want to redirect linking that pages without a version specified to the latest to ensure existing linking continues to work. For everything else, lets redirect to the main page. Signed-off-by: Martyn Welch <martyn.welch@collabora.com>
4b1ed08e · Martyn Welch · 6e128643 · 4b1ed08e · 4b1ed08e
Commit 4b1ed08e authored 4 years ago by Martyn Welch
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,6 +28,7 @@ pages:
  stage: deploy
  script:
    - mkdir public
+    - cp static/* public/
    - ./atc test-cases/ -d public/latest/ --index-page
  artifacts:
    paths:

--- a/static/404.html
+++ b/static/404.html
+<!doctype html>
+<html lang="en">
+<head>
+    <meta charset="utf-8">
+    <meta http-equiv="x-ua-compatible" content="ie=edge">
+    <meta name="viewport" content="width=device-width, initial-scale=1.0">
+    <title>Redirecting</title>
+  </head>
+  <body onload="redirect()">
+	<h1 style="text-align: center; padding-top: 50px; display: block;">Redirecting...</h1>
+	<script>
+		function redirect() {
+			setTimeout(munge_url, 100);
+		}
+
+		function munge_url() {
+			var url = window.location.pathname;
+			var url_parts = url.split("/");
+			var num = url_parts.length;
+
+			new_url = new URL(window.location);
+
+			if ((num == 2) && (url_parts[num - 1].endsWith(".html"))) {
+				new_url.pathname = ["latest", url_parts[num - 1]].join('/')
+			} else {
+				new_url.pathname = "";
+			}
+
+			window.location.replace(new_url);
+		}
+
+	</script>
+  </body>
+</html>