From 0d37af4eba374c41a9ad3fa8d2f2251ddb6b58c5 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Fri, 3 Apr 2020 16:43:51 -0700
Subject: Rename Serval to Prod

---
 Com/Simatime/buildOS.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Com/Simatime/buildOS.nix')

diff --git a/Com/Simatime/buildOS.nix b/Com/Simatime/buildOS.nix
index b2fc928..eb20d88 100644
--- a/Com/Simatime/buildOS.nix
+++ b/Com/Simatime/buildOS.nix
@@ -7,9 +7,9 @@ nixos:
 , deps ? {} # added under pkgs.biz
 , configuration # see: configuration.nix(5)
 }:
-assert enableVpn -> builtins.isString ipAddress;
-assert enableVpn -> builtins.isString vpnRsaPrivateKeyFile;
-assert enableVpn -> builtins.isString vpnEd25519PrivateKeyFile;
+# assert enableVpn -> builtins.isString ipAddress;
+# assert enableVpn -> builtins.isString vpnRsaPrivateKeyFile;
+# assert enableVpn -> builtins.isString vpnEd25519PrivateKeyFile;
 let
   vpnExtraConfig = if enableVpn then ''
     ConnectTo = ${vpnConnectTo}
-- 
cgit v1.2.3