From 4450003bd7385a29a28f83f3f7a3d2f57615e9ff Mon Sep 17 00:00:00 2001
From: Vincent Ambo <mail@tazj.in>
Date: Fri, 2 Apr 2021 15:35:35 +0200
Subject: feat(tazjin/blog): Add distinction between published & updated times

Fixes a long-standing todo by adding an additional field for the time
at which a post was updated, and handling this in both site
generation (to note the update date after the publish date) and in
Atom feed generation (by populating both the updated and published
fields).

Change-Id: If80db43459b2a0c77eea4dde7255651b5d6cd64b
Reviewed-on: https://cl.tvl.fyi/c/depot/+/2766
Reviewed-by: tazjin <mail@tazj.in>
Tested-by: BuildkiteCI
---
 users/tazjin/blog/fragments.nix | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'users/tazjin/blog/fragments.nix')

diff --git a/users/tazjin/blog/fragments.nix b/users/tazjin/blog/fragments.nix
index 78a64afa3932..98028fad7029 100644
--- a/users/tazjin/blog/fragments.nix
+++ b/users/tazjin/blog/fragments.nix
@@ -74,6 +74,11 @@ let
     echo '<article><h2 class="inline">${escape post.title}</h2>' >> $out
     echo '<aside class="date">' >> $out
     date --date="@${toString post.date}" '+%Y-%m-%d' >> $out
+    ${
+      if post ? updated
+      then ''date --date="@${toString post.updated}" '+ (updated %Y-%m-%d)' >> $out''
+      else ""
+    }
     echo '</aside>' >> $out
 
     ${
-- 
cgit 1.4.1