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
dgn-lib = import ../lib { };
dgn-lib = import ../lib;
dgn-members = (import ../meta).members.groups.iso;
in
@ -23,8 +23,6 @@ in
"exfat"
"zfs"
];
swraid.enable = lib.mkForce false;
};
console.keyMap = "fr";

View file

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