diff options
author | lassulus <lass@aidsballs.de> | 2016-06-24 16:04:04 +0200 |
---|---|---|
committer | lassulus <lass@aidsballs.de> | 2016-06-24 16:04:04 +0200 |
commit | ba0a7978ba56cd0965c7331e6c0aa759ff26a984 (patch) | |
tree | 7faeaee0f2fb99eac3e237e1eab172c3849a6996 /krebs | |
parent | fe1e9a6c91c347bd92ebc1ef8acf7b4849fdf767 (diff) |
k 3 repo-sync: set REPONAME
This is needed to allow multiple repo fetching at the same time
Diffstat (limited to 'krebs')
-rw-r--r-- | krebs/3modules/repo-sync.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/krebs/3modules/repo-sync.nix b/krebs/3modules/repo-sync.nix index 2388c3617..3f251525a 100644 --- a/krebs/3modules/repo-sync.nix +++ b/krebs/3modules/repo-sync.nix @@ -103,6 +103,7 @@ let environment = { GIT_SSH_COMMAND = "${pkgs.openssh}/bin/ssh -i ${cfg.stateDir}/ssh.priv"; + REPONAME = "${name}.git"; }; serviceConfig = { |