diff options
Diffstat (limited to 'kartei')
| -rw-r--r-- | kartei/tv/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
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)); }; }) ]) |