rss: Fix header link and redirect broken links

I noticed a lot of odd `/rss.xml' requests in my 404 log. As it turns out, it was my fault. This both fixes it and adds a redirect in case someone tries to do this manually. I suppose that'd be convenient.
2019-02-21 21:50:18 -05:00 · 2019-02-21 21:50:18 -05:00 · f1497409c5
parent f16c0f0f0e
commit f1497409c5
2 changed files with 2 additions and 1 deletions
--- a/conf/lighttpd.conf
+++ b/conf/lighttpd.conf
@ -23,6 +23,7 @@ $HTTP["scheme"] == "https" {
      "^/2[0-9]{3}/[0-9]+/[0-9]+/(.*)$" => "/$1",
      "^/papers/git-horror-story" => "/2012/05/a-git-horror-story-repository-integrity-with-signed-commits",
      "^/thoughts(/.*)?$" => "/$1",
+      "./rss(\.xml)?$" => "/rss",   # trailing RSS requests
      "^/feed/?" => "/rss",
      "^/resume/?" => "/about/resume",
      "^/hoxsl$" => "/hoxsl/",
--- a/src/header.tpl.htm
+++ b/src/header.tpl.htm
@ -3,7 +3,7 @@
  <head>
    <meta charset="utf-8" />
    <link rel="alternate" title="RSS Feed"
-          href="rss.xml" type="application/rss+xml" />
+          href="/rss" type="application/rss+xml" />
    <title>@PAGE_TITLE@Mike Gerwitz</title>
    <meta name="viewport" content="initial-scale=1.0" />
    <style>