From 4ee194be6ccb4ccfff6ad8c42ef3468f86b37487 Mon Sep 17 00:00:00 2001
From: Jakob Lechner <jal@tradebyte.biz>
Date: Wed, 18 Oct 2023 14:01:45 +0000
Subject: [PATCH] Print advertised DNS servers on vpn connection

---
 home-manager/users/jal.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/home-manager/users/jal.nix b/home-manager/users/jal.nix
index 6cedf41..3d294c7 100644
--- a/home-manager/users/jal.nix
+++ b/home-manager/users/jal.nix
@@ -17,6 +17,8 @@ let
   vpnc-script = pkgs.writeShellScript "vpnc-script-tb" ''
     cisco_split_inc="$CISCO_SPLIT_INC"
     export CISCO_SPLIT_INC=0
+
+    echo "DNS server sent by vpn: $INTERNAL_IP4_DNS"
     unset INTERNAL_IP4_DNS
 
     route_in_whitelist() {