From 949bae554046581f3400ce54aea1d83b4135eab3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kier=C3=A1n=20Meinhardt?= <kieran.meinhardt@gmail.com>
Date: Thu, 3 Sep 2020 19:16:27 +0200
Subject: [PATCH] feat(hu-berlin): add alternate vpn

---
 configs/hu-berlin.nix | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/configs/hu-berlin.nix b/configs/hu-berlin.nix
index d4895de..badbf79 100644
--- a/configs/hu-berlin.nix
+++ b/configs/hu-berlin.nix
@@ -28,6 +28,17 @@ in {
     eduroam.auth = eduroamAuth;
   };
 
+  environment.systemPackages = [
+    (pkgs.writers.writeDashBin "hu-vpn" ''
+      ${pkgs.openfortivpn}/bin/openfortivpn -p "${eduroam.password}" -c ${pkgs.writeText "hu-berlin.config" ''
+        host = forti-ssl.vpn.hu-berlin.de
+        port = 443
+        trusted-cert = e5a7d56543002ffe1e8962caa5fd6d94053aa702381458247b670877a66f3c6f
+        username = ${eduroam.identity}
+      ''}
+    '')
+  ];
+
   services.openvpn.servers.hu-berlin = {
     autoStart = false;
     authUserPass = {