Support more finegrained date-based sorting.

scripts/generate-pages.py

@@ -27,7 +27,7 @@ def load_settings(settings_file):
 def load_media(media_file):
     with open(media_file) as f:
         c = yaml.load(f, Loader=yaml.FullLoader)
-    c['year'] = int(c['year'])
+    c['date'] = c['date']
     c['ident'] = ident(media_file)
     return c
 
@@ -102,7 +102,7 @@ def youtube_video(file_src):
 
 def generate_video_page(base_dir, out_dir, base_html, showing_html, media):
     title = media['title']
-    year = media['year']
+    date = str(media['date'])
     description = media['description'].rstrip()
     name = media['ident']
     video_dir = os.path.join(out_dir, name)
@@ -121,7 +121,7 @@ def generate_video_page(base_dir, out_dir, base_html, showing_html, media):
 
     html_inner = showing_html.format(
         title=html.escape(title),
-        year=str(year),
+        year=date[:4],
         description=html.escape(description),
         video=video_html)
     html_out = base_html.format(content=html_inner,
@@ -145,7 +145,7 @@ def main():
     media_files = [os.path.join(media_dir, media_file)
                    for media_file in os.listdir(media_dir)]
     medias = [load_media(media_file) for media_file in media_files]
-    medias.sort(key=lambda m: (m['year'], m['ident']), reverse=True)
+    medias.sort(key=lambda m: (m['date'], m['ident']), reverse=True)
 
     site_new_dir = setup_directory_structure(settings, base_dir, template_dir)
     generate_index_page(site_new_dir, base_html, section_html, medias)