network-manager: add extra congress profile

2configs/hw/network-manager.nix

@@ -1,5 +1,8 @@
 { pkgs, lib, ... }:
 {
+  imports = [
+    ./nm-profiles/congress.nix
+  ];
   users.users.makefu = {
     extraGroups = [ "networkmanager" ];
     packages = with pkgs;[

2configs/hw/nm-profiles/congress.nix

@@ -0,0 +1,37 @@
+{
+  networking.networkmanager.ensureProfiles.profiles = {
+    "38C3" = {
+      connection = {
+        id = "38C3";
+        type = "wifi";
+      };
+      wifi = {
+        mode = "infrastructure";
+        ssid = "38C3";
+      };
+      wifi-security = {
+        auth-alg = "open";
+        key-mgmt = "wpa-eap";
+      };
+      "802-1x" = {
+        anonymous-identity = "38C3";
+        eap = "ttls;";
+        identity = "38C3";
+        password = "38C3";
+        phase2-auth = "pap";
+        altsubject-matches = "DNS:radius.c3noc.net";
+        ca-cert = "${builtins.fetchurl {
+          url = "https://letsencrypt.org/certs/isrgrootx1.pem";
+          sha256 = "sha256:1la36n2f31j9s03v847ig6ny9lr875q3g7smnq33dcsmf2i5gd92";
+        }}";
+      };
+      ipv4 = {
+        method = "auto";
+      };
+      ipv6 = {
+        addr-gen-mode = "default";
+        method = "auto";
+      };
+    };
+  };
+}