diff options
Diffstat (limited to 'users/tazjin/blog')
| -rw-r--r-- | users/tazjin/blog/default.nix | 3 | ||||
| -rw-r--r-- | users/tazjin/blog/fragments.nix | 5 |
2 files changed, 8 insertions, 0 deletions
diff --git a/users/tazjin/blog/default.nix b/users/tazjin/blog/default.nix index 2232be273629..a5254b5496c3 100644 --- a/users/tazjin/blog/default.nix +++ b/users/tazjin/blog/default.nix @@ -15,6 +15,9 @@ let title = string; date = int; + # Optional time at which this post was last updated. + updated = option int; + # Path to the Markdown file containing the post content. content = path; 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 ${ |