Compare commits

..

No commits in common. "216efbbc42ae1464d197d64d056fc3f75b291314" and "33887719294111e70757d96a1c78f9fb67becb16" have entirely different histories.

2 changed files with 3 additions and 10 deletions

View file

@ -1,7 +1,7 @@
{ lib, pkgs, ... }: { pkgs, ... }:
let let
dgn-lib = import ../lib { }; dgn-lib = import ../lib;
dgn-members = (import ../meta).members.groups.iso; dgn-members = (import ../meta).members.groups.iso;
in in
@ -23,8 +23,6 @@ in
"exfat" "exfat"
"zfs" "zfs"
]; ];
swraid.enable = lib.mkForce false;
}; };
console.keyMap = "fr"; console.keyMap = "fr";

View file

@ -16,12 +16,7 @@ let
value.to = retired_host; value.to = retired_host;
}) retired)); }) retired));
retired = [ retired = [ "auth.rz.ens.wtf" "photos.ens.wtf" ];
"auth.rz.ens.wtf"
"photos.ens.wtf"
"alevins.ens.fr"
"www.climatenavigator.ens.fr"
];
in { in {
services.nginx.virtualHosts = { services.nginx.virtualHosts = {