home: ssh: thanatos config

This commit is contained in:
Antoine Martin 2023-12-14 13:45:10 +01:00
parent eeb2f7fadf
commit 5b5612390d

View file

@ -34,12 +34,19 @@ in {
in {
boreal = addGPGAgentForwarding {hostname = "boreal.alarsyo.net";};
hades = addGPGAgentForwarding {hostname = "hades.alarsyo.net";};
poseidon = addGPGAgentForwarding {hostname = "poseidon.alarsyo.net";};
thanatos = addGPGAgentForwarding {hostname = "thanatos.alarsyo.net";};
pi = addGPGAgentForwarding {
hostname = "pi.alarsyo.net";
user = "pi";
};
"thanatos.lrde.epita.fr" =
lib.hm.dag.entryBefore ["*.lrde.epita.fr"]
(addGPGAgentForwarding {
hostname = "lee.lrde.epita.fr";
user = "alarsyo";
});
"*.lrde.epita.fr" = {
user = "amartin";
};