github-hosts-sync: fix for manual

2021-11-08 01:30:48 +01:00 · 2021-11-08 01:30:48 +01:00 · ae0c0de7f1
commit ae0c0de7f1
parent 87f43a3be4
1 changed files with 1 additions and 0 deletions
--- a/krebs/3modules/github-hosts-sync.nix
+++ b/krebs/3modules/github-hosts-sync.nix
@ -22,6 +22,7 @@ let
    ssh-identity-file = mkOption {
      type = types.suffixed-str [".ssh.id_ed25519" ".ssh.id_rsa"];
      default = toString <secrets/github-hosts-sync.ssh.id_ed25519>;
+      defaultText = "‹secrets/github-hosts-sync.ssh.id_ed25519›";
    };
    url = mkOption {
      type = types.str;