From 2d47e67e4c6df430a74fecb856923da8238305a5 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 2 Jan 2016 13:24:27 +0100
Subject: [PATCH 1/1] update menu plugin to work with Jekyll 3.0

---
 personal/_includes/menu-level.html | 2 +-
 personal/_layouts/page.html        | 2 +-
 personal/_plugins/categories.rb    | 2 +-
 personal/_plugins/menu.rb          | 9 +++++++--
 personal/_plugins/readmes.rb       | 1 +
 5 files changed, 11 insertions(+), 5 deletions(-)

diff --git a/personal/_includes/menu-level.html b/personal/_includes/menu-level.html
index 28b45c7..7e4e5ef 100644
--- a/personal/_includes/menu-level.html
+++ b/personal/_includes/menu-level.html
@@ -1,5 +1,5 @@
 <ul><!--{% for item in include.menu %}
-    --><li class="{{ item.class }}"><a class="{{ item.class }}" href="{{ site.baseurl }}{{ item.url | replace: '/index.html','/' }}">{{ item.title }}</a></li><!--
+    --><li class="{{ item.class }}"><a class="{{ item.class }}" href="{{ site.baseurl }}{{ item.url }}">{{ item.title }}</a></li><!--
     {% if item.sub %}
         --><li class="sub">{% include menu-level.html menu=item.sub %}</li><!--
     {% endif %}
diff --git a/personal/_layouts/page.html b/personal/_layouts/page.html
index a45f67f..d3b16f2 100644
--- a/personal/_layouts/page.html
+++ b/personal/_layouts/page.html
@@ -13,7 +13,7 @@
     {% if page.excerpt %}<meta name="description" content="{{ page.excerpt | newline_to_br | replace:'<br />',' ' | strip_html | strip_newlines | truncate: 192 }}">{% endif %}
 
     <link rel="stylesheet" href="{{ site.baseurl }}/style.css">
-    <link rel="canonical" href="{{ site.url }}{{ site.baseurl }}{{ page.url | replace:'/index.html','/' }}">
+    <link rel="canonical" href="{{ site.url }}{{ site.baseurl }}{{ page.url }}">
     {% if page.rss %}
         <link rel="alternate" type="application/atom+xml" title="{{ site.blog.title }}" href="{{ site.baseurl }}/blog/feed.xml" />
         {% if page.category %}<link rel="alternate" type="application/atom+xml" title="{{ site.blog.title }} • {{ title }}" href="{{ site.baseurl }}{{ page.url | replace: '.html','.xml' }}" />{% endif %}
diff --git a/personal/_plugins/categories.rb b/personal/_plugins/categories.rb
index 1da0fe1..65776d7 100644
--- a/personal/_plugins/categories.rb
+++ b/personal/_plugins/categories.rb
@@ -9,7 +9,7 @@ module Jekyll
 
       self.process(@name)
       self.read_yaml(File.join(base, '_layouts'), layout)
-      self.data['category'] = category
+      self.data['category'] = category # this tells the site template to add a link to the RSS feed
 
       category_title_prefix = site.config['blog']['category_title_prefix'] || 'Category: '
       self.data['title'] = "#{category_title_prefix}#{category.capitalize}"
diff --git a/personal/_plugins/menu.rb b/personal/_plugins/menu.rb
index 48befa7..92eaa6a 100644
--- a/personal/_plugins/menu.rb
+++ b/personal/_plugins/menu.rb
@@ -2,9 +2,12 @@ module Jekyll
   module MenuFilter
     def menu(input, displayurl)
       def create_menu(pages, base, displayurl)
+        # URLs in `base`, `displayurl`, `cururl` are normalized to remove trailing slashes. This is to be able to distinguish the root of a folder from its children by the number of slashes in the URL.
+        # We need this to treat the root of a folder as a direct child of the parent folder, whereas pages within a subfolder are of course grandchildren.
         result = Array.new
         for page in pages
-          cururl = page['url'].sub('/index.html', '')
+          cururl = page['url'].chomp('/')
+          # Test if this page is a non-hidden *direct* child of `base`
           if cururl.start_with?(base) and cururl.count('/') == base.count('/') and (not page['hide'])
             # figure out CSS class
             if cururl == displayurl
@@ -36,13 +39,15 @@ module Jekyll
             end
             # store menu node
             result.push(menu_node)
+          else
+            #print "Not adding: cur=", cururl, ", base=", base, ", hide=", page['hide'], "\n"
           end
         end
         # sort the result before returning it
         result.sort_by { |page| [page['sort'], page['url']] }
       end
       
-      create_menu(input, "", displayurl.sub('/index.html', ''))
+      create_menu(input, "", displayurl.chomp('/'))
     end
   end
 end
diff --git a/personal/_plugins/readmes.rb b/personal/_plugins/readmes.rb
index 63df995..7767be7 100644
--- a/personal/_plugins/readmes.rb
+++ b/personal/_plugins/readmes.rb
@@ -27,6 +27,7 @@ module Jekyll
     safe true
 
     def generate(site)
+      # Go through all READMEs, and add them as pages
       readmes = site.config['readmes']
       return if readmes.nil?
       base = readmes['src_base']
-- 
2.30.2