diff options
| author | tv <tv@shackspace.de> | 2015-09-27 00:22:50 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-09-27 00:37:20 +0200 |
| commit | c9ccf22b154205caf55262ba6aa305e2c2247a02 (patch) | |
| tree | 1190657c3702bbeada39de2c449a17aea3d931c5 /krebs/3modules/github-hosts-sync.nix | |
| parent | 9157c6fbc9e355dd7a6ea8c9e33a280492a4d35b (diff) | |
krebs.build: merge deploy and infest
Diffstat (limited to 'krebs/3modules/github-hosts-sync.nix')
| -rw-r--r-- | krebs/3modules/github-hosts-sync.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/3modules/github-hosts-sync.nix b/krebs/3modules/github-hosts-sync.nix index dbc0cc1d..f44fe3ad 100644 --- a/krebs/3modules/github-hosts-sync.nix +++ b/krebs/3modules/github-hosts-sync.nix @@ -22,7 +22,7 @@ let }; ssh-identity-file = mkOption { type = types.str; # TODO must be named *.ssh.{id_rsa,id_ed25519} - default = "/root/src/secrets/github-hosts-sync.ssh.id_rsa"; + default = toString <secrets/github-hosts-sync.ssh.id_rsa>; }; }; |