Changed lisa ip

This commit is contained in:
Julien Malka 2022-01-12 13:54:12 +01:00
parent 4f9d3abfb4
commit 4551b44b3c
No known key found for this signature in database
GPG key ID: 3C68E13964FEA07F

View file

@ -18,7 +18,7 @@ with lib;
port = 45;
};
lisa = {
hostname = "2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb";
hostname = "lisa.julienmalka.me";
user = "julien";
port = 45;
};
@ -31,6 +31,11 @@ with lib;
hostname = "sas.eleves.ens.fr";
user = "jmalka";
};
lambda = {
hostname = "status.julienmalka.me";
user = "status";
port = 45;
};
};
};
};