home: ssh: update thanatos LRDE DNS name
This commit is contained in:
parent
faa0447791
commit
6305d176d2
|
@ -43,7 +43,6 @@ in {
|
||||||
"thanatos.lrde.epita.fr" =
|
"thanatos.lrde.epita.fr" =
|
||||||
lib.hm.dag.entryBefore ["*.lrde.epita.fr"]
|
lib.hm.dag.entryBefore ["*.lrde.epita.fr"]
|
||||||
(addGPGAgentForwarding {
|
(addGPGAgentForwarding {
|
||||||
hostname = "lee.lrde.epita.fr";
|
|
||||||
user = "alarsyo";
|
user = "alarsyo";
|
||||||
});
|
});
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue