{...}: {
  networking.networkmanager.ensureProfiles = {
    profiles."school-wifi" = {
      connection = {
        id = "Progresa";
        type = "wifi";
      };
      wifi = {
        mode = "infrastructure";
        ssid = ".Progresa Invitados";
      };
      wifi-security = {
        auth-alg = "open";
        key-mgmt = "wpa-psk";
        psk = "$SCHOOL";
      };
    };
  };
}