diff options
| author | lassulus <git@lassul.us> | 2023-06-10 13:10:56 +0200 |
|---|---|---|
| committer | lassulus <git@lassul.us> | 2023-06-11 16:50:45 +0200 |
| commit | 3e2a4412670e820023ec767edb847cbd431f6015 (patch) | |
| tree | b6e83ff797c64422ca3ce94c7876c233d676a564 /kartei | |
| parent | 497aca5116c0228e87d95ee4fd2281914a19d3f8 (diff) | |
ci fixups
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)); }; }) ]) |