summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2021-11-08 01:30:48 +0100
committertv <tv@krebsco.de>2021-11-08 05:11:27 +0100
commitae0c0de7f1ddc301619415d01831edb7d4640f92 (patch)
treea764b372520ec3ece518d7f303ec7a59d128f090
parent87f43a3be4da6f575393dcca7c17399ad06d8580 (diff)
github-hosts-sync: fix for manual
-rw-r--r--krebs/3modules/github-hosts-sync.nix1
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;