From 2ee136f491d4a19f99a10d68a1f2358b095a9a83 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Sat, 4 Sep 2021 22:05:19 +0200
Subject: feeds: dhall...

---
 user-profiles/feeds/module.nix | 15 +++------------
 1 file changed, 3 insertions(+), 12 deletions(-)

(limited to 'user-profiles/feeds')

diff --git a/user-profiles/feeds/module.nix b/user-profiles/feeds/module.nix
index 7a29331b..db5e94b3 100644
--- a/user-profiles/feeds/module.nix
+++ b/user-profiles/feeds/module.nix
@@ -18,18 +18,9 @@ let
     '';
 
   notmuchCallbacks = pkgs.writeText "imm-callbacks-${config.home.username}.dhall" ''
-    let Callback : Type =
-      { _executable : Text
-      , _arguments : List Text
-      }
-
-    let notmuchInsert =
-      { _executable = "${immNotmuchInsert}/bin/imm-notmuch-insert"
-      , _arguments = []
-      }
-
-    let config : List Callback = [ notmuchInsert ]
-    in config    
+    { _executable = "${immNotmuchInsert}/bin/imm-notmuch-insert"
+    , _arguments = [] : List Text
+    }
   '';
 
   immNotmuchInsert = pkgs.stdenv.mkDerivation rec {
-- 
cgit v1.2.3