From 3e2a4412670e820023ec767edb847cbd431f6015 Mon Sep 17 00:00:00 2001
From: lassulus <git@lassul.us>
Date: Sat, 10 Jun 2023 13:10:56 +0200
Subject: ci fixups

---
 kartei/tv/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kartei')

diff --git a/kartei/tv/default.nix b/kartei/tv/default.nix
index b203675f4..e74851757 100644
--- a/kartei/tv/default.nix
+++ b/kartei/tv/default.nix
@@ -37,7 +37,7 @@
         (host: mkIf (host.config.ssh.pubkey != null) {
           ssh.privkey = mapAttrs (const mkDefault) {
             path = config.krebs.secret.file "ssh.id_${host.config.ssh.privkey.type}";
-            type = head (toList (match "ssh-([^ ]+) .*" host.config.ssh.pubkey));
+            type = head (toList (builtins.match "ssh-([^ ]+) .*" host.config.ssh.pubkey));
           };
         })
       ])
-- 
cgit v1.2.3