redirect /pub and /olddocs to pub. and olddocs.

FEniCS · Dec 14, 2023 · b9206ee · b9206ee
1 parent 17d8e1e
commit b9206ee
Showing 1 changed file with 32 additions and 0 deletions.
diff --git a/_includes/_404_redirect.html b/_includes/_404_redirect.html
@@ -0,0 +1,32 @@
+<script type='text/javascript'>
+var url = document.location.href
+url = "https://fenicsproject.org/pub/graphics/fenics_google_logo.png"
+if(url.startsWith("http://fenicsproject.org/pub/") || url.startsWith("https://fenicsproject.org/pub/") || url.startsWith("http://www.fenicsproject.org/pub/") || url.startsWith("https://www.fenicsproject.org/pub/")){
+    if(url.startsWith("http://fenicsproject.org/pub/")){
+        url = url.substring(29)
+    } else if(url.startsWith("https://fenicsproject.org/pub/")){
+        url = url.substring(30)
+    } else if(url.startsWith("http://www.fenicsproject.org/pub/")){
+        url = url.substring(33)
+    } else if(url.startsWith("https://www.fenicsproject.org/pub/")){
+        url = url.substring(34)
+    } else {
+        url = ""
+    }
+    window.location.assign("https://pub.fenicsproject.org/" + url)
+}
+if(url.startsWith("http://fenicsproject.org/olddocs/") || url.startsWith("https://fenicsproject.org/olddocs/") || url.startsWith("http://www.fenicsproject.org/olddocs/") || url.startsWith("https://www.fenicsproject.org/olddocs/")){
+    if(url.startsWith("http://fenicsproject.org/olddocs/")){
+        url = url.substring(33)
+    } else if(url.startsWith("https://fenicsproject.org/olddocs/")){
+        url = url.substring(34)
+    } else if(url.startsWith("http://www.fenicsproject.org/olddocs/")){
+        url = url.substring(37)
+    } else if(url.startsWith("https://www.fenicsproject.org/olddocs/")){
+        url = url.substring(38)
+    } else {
+        url = ""
+    }
+    window.location.assign("https://pub.fenicsproject.org/" + url)
+}
+</script>