🐙 Templated web page generator for your git repositories
git clone https://github.com/m-col/gitja
Files | Refs | Readme | License
Commit 8156f120326ef3721746f1d92fb0d7d31d575dca
Parent: 70ec51fc60668e0650b34d95a7f9fba448b47bd9
Author: mcol <mcol@posteo.net>
Date: 2022-04-05 21:03:59 +0100
Committer: mcol <mcol@posteo.net>
Committed: 2022-04-05 21:03:59 +0100

tiny dry

src/Env.hs Modified

@@ -115,10 +115,7 @@
 
     -- Exit early if we didn't find any templates
     when
-        ( null indexT
-            && isNothing commitT
-            && isNothing fileT
-            && null repoT
+        ( all null [indexT, repoT] && all isNothing [commitT, fileT]
         )
         $ die "No templates were found."