This CL can be used to compare the style of nixpkgs-fmt against other formatters (nixpkgs, alejandra). Change-Id: I87c6abff6bcb546b02ead15ad0405f81e01b6d9e Reviewed-on: https://cl.tvl.fyi/c/depot/+/4397 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: lukegb <lukegb@tvl.fyi> Reviewed-by: wpcarro <wpcarro@gmail.com> Reviewed-by: Profpatsch <mail@profpatsch.de> Reviewed-by: kanepyork <rikingcoding@gmail.com> Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: cynthia <cynthia@tvl.fyi> Reviewed-by: edef <edef@edef.eu> Reviewed-by: eta <tvl@eta.st> Reviewed-by: grfn <grfn@gws.fyi>
		
			
				
	
	
		
			96 lines
		
	
	
	
		
			3 KiB
		
	
	
	
		
			Nix
		
	
	
	
	
	
			
		
		
	
	
			96 lines
		
	
	
	
		
			3 KiB
		
	
	
	
		
			Nix
		
	
	
	
	
	
# This file defines various fragments of the blog, such as the header
 | 
						|
# and footer, as functions that receive arguments to be templated into
 | 
						|
# them.
 | 
						|
#
 | 
						|
# An entire post is rendered by `renderPost`, which assembles the
 | 
						|
# fragments together in a runCommand execution.
 | 
						|
{ depot, lib, pkgs, ... }:
 | 
						|
 | 
						|
let
 | 
						|
  inherit (builtins) filter map hasAttr replaceStrings;
 | 
						|
  inherit (pkgs) runCommandNoCC writeText;
 | 
						|
  inherit (depot.nix) renderMarkdown;
 | 
						|
 | 
						|
  staticUrl = "https://static.tvl.fyi/${depot.web.static.drvHash}";
 | 
						|
 | 
						|
  # Generate a post list for all listed, non-draft posts.
 | 
						|
  isDraft = post: (hasAttr "draft" post) && post.draft;
 | 
						|
  isUnlisted = post: (hasAttr "listed" post) && !post.listed;
 | 
						|
 | 
						|
  escape = replaceStrings [ "<" ">" "&" "'" ] [ "<" ">" "&" "'" ];
 | 
						|
 | 
						|
  header = name: title: ''
 | 
						|
    <!DOCTYPE html>
 | 
						|
    <head>
 | 
						|
      <meta charset="utf-8">
 | 
						|
      <meta name="viewport" content="width=device-width, initial-scale=1">
 | 
						|
      <meta name="description" content="${escape name}">
 | 
						|
      <link rel="stylesheet" type="text/css" href="${staticUrl}/tvl.css" media="all">
 | 
						|
      <link rel="icon" type="image/webp" href="/static/favicon.webp">
 | 
						|
      <link rel="alternate" type="application/atom+xml" title="Atom Feed" href="https://tvl.fyi/feed.atom">
 | 
						|
      <title>${escape name}: ${escape title}</title>
 | 
						|
    </head>
 | 
						|
    <body class="light">
 | 
						|
      <header>
 | 
						|
        <h1><a class="blog-title" href="/">${escape name}</a> </h1>
 | 
						|
        <hr>
 | 
						|
      </header>
 | 
						|
  '';
 | 
						|
 | 
						|
  fullFooter = content: ''
 | 
						|
      <hr>
 | 
						|
      <footer>
 | 
						|
        ${content}
 | 
						|
      </footer>
 | 
						|
    </body>
 | 
						|
  '';
 | 
						|
 | 
						|
  draftWarning = writeText "draft.html" ''
 | 
						|
    <p class="cheddar-callout cheddar-warning">
 | 
						|
      <b>Note:</b> This post is a <b>draft</b>! Please do not share
 | 
						|
      the link to it without asking first.
 | 
						|
    </p>
 | 
						|
    <hr>
 | 
						|
  '';
 | 
						|
 | 
						|
  unlistedWarning = writeText "unlisted.html" ''
 | 
						|
    <p class="cheddar-callout cheddar-warning">
 | 
						|
      <b>Note:</b> This post is <b>unlisted</b>! Please do not share
 | 
						|
      the link to it without asking first.
 | 
						|
    </p>
 | 
						|
    <hr>
 | 
						|
  '';
 | 
						|
 | 
						|
  renderPost = { name, footer, ... }: post: runCommandNoCC "${post.key}.html" { } ''
 | 
						|
    cat ${writeText "header.html" (header name post.title)} > $out
 | 
						|
 | 
						|
    # Write the post title & date
 | 
						|
    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
 | 
						|
 | 
						|
    ${
 | 
						|
      # Add a warning to draft/unlisted posts to make it clear that
 | 
						|
      # people should not share the post.
 | 
						|
 | 
						|
      if (isDraft post) then "cat ${draftWarning} >> $out"
 | 
						|
      else if (isUnlisted post) then "cat ${unlistedWarning} >> $out"
 | 
						|
      else "# Your ads could be here?"
 | 
						|
    }
 | 
						|
 | 
						|
    # Write the actual post through cheddar's about-filter mechanism
 | 
						|
    cat ${renderMarkdown post.content} >> $out
 | 
						|
    echo '</article>' >> $out
 | 
						|
 | 
						|
    cat ${writeText "footer.html" (fullFooter footer)} >> $out
 | 
						|
  '';
 | 
						|
in
 | 
						|
{
 | 
						|
  inherit isDraft isUnlisted renderPost;
 | 
						|
}
 |