From 6d713cb8f5dd9c246972ba01cd371f7514d34478 Mon Sep 17 00:00:00 2001
From: Kilian Cavalotti <kilian@stanford.edu>
Date: Mon, 26 Nov 2018 15:22:35 -0800
Subject: [PATCH] redirect: add support to redirect anchors

   eg. if url.md contains: "redirect: newurl/"
       //domain.tld/url#foo redirects to //domain.tld/newurl#foo
---
 src/main.html | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/main.html b/src/main.html
index df6f50dfe..28ce6c70b 100644
--- a/src/main.html
+++ b/src/main.html
@@ -22,12 +22,12 @@
 
 {% if page.meta.redirect %}
 <script>
-    document.location.replace({{ page.meta.redirect }})
+    // redirect anchors
+    var anchor = window.location.hash.substr(1);
+    location.href = '{{ page.meta.redirect }}' + (anchor?'#'+anchor:'');
 </script>
-<meta http-equiv="refresh" content="0; url={{ page.meta.redirect }}"/>
-<link rel="canonical" href="{{ page.meta.redirect }} " />
-{% else %}
-
-{% extends "base.html" %}
-
+<!-- no-js fallback -->
+<meta http-equiv="refresh" content="0; url={{ page.meta.redirect }}">
+<link rel="canonical" href="{{ page.meta.redirect }}">
 {% endif %}
+{% extends "base.html" %}