[ssh] Add SubGit key

This commit is contained in:
Tibo De Peuter 2023-10-10 21:14:05 +02:00
parent e1e6c01cf7
commit e9a61f9301
4 changed files with 29 additions and 21 deletions

View file

@ -26,10 +26,10 @@
owner = user;
};
UGent = {
format = "yaml";
sopsFile = ../../../secrets/UGent.yaml;
owner = user;
};
format = "yaml";
sopsFile = ../../../secrets/UGent.yaml;
owner = user;
};
in {
"Hugo/ssh" = Hugo;
"UGent/HPC/ssh" = UGent;
@ -41,6 +41,7 @@
};
"Hugo/Gitea/ssh" = Hugo;
"UGent/GitHub/ssh" = UGent;
"UGent/SubGit/ssh" = UGent;
};
};
}

View file

@ -42,6 +42,11 @@
identityFile = "/run/secrets/UGent/GitHub/ssh";
user = "tdpeuter";
};
"subgit.ugent.be" = {
hostname = "subgit.ugent.be";
identitiesOnly = true;
identityFile = "/run/secrets/UGent/SubGit/ssh";
};
};
};
};