diff options
author | tv <tv@krebsco.de> | 2021-11-08 01:30:48 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2021-11-08 05:11:27 +0100 |
commit | ae0c0de7f1ddc301619415d01831edb7d4640f92 (patch) | |
tree | a764b372520ec3ece518d7f303ec7a59d128f090 | |
parent | 87f43a3be4da6f575393dcca7c17399ad06d8580 (diff) |
github-hosts-sync: fix for manual
-rw-r--r-- | krebs/3modules/github-hosts-sync.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/krebs/3modules/github-hosts-sync.nix b/krebs/3modules/github-hosts-sync.nix index d385ec355..590708aa8 100644 --- 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; |