From 95812a7458018c03fc3552d9ef0c38639974676b Mon Sep 17 00:00:00 2001 From: palainp Date: Sat, 1 Jul 2023 16:49:07 +0200 Subject: [PATCH] fix default DNS addresses --- config.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/config.ml b/config.ml index 53bf8e3..e3eb2ad 100644 --- a/config.ml +++ b/config.ml @@ -23,11 +23,11 @@ let ipv4_gw = let ipv4_dns = let doc = Key.Arg.info ~doc:"Manual DNS IP setting." ["ipv4-dns"] in - Key.(create "ipv4_dns" Arg.(opt string "10.139.0.1" doc)) + Key.(create "ipv4_dns" Arg.(opt string "10.139.1.1" doc)) let ipv4_dns2 = let doc = Key.Arg.info ~doc:"Manual Second DNS IP setting." ["ipv4-dns2"] in - Key.(create "ipv4_dns2" Arg.(opt string "10.139.0.2" doc)) + Key.(create "ipv4_dns2" Arg.(opt string "10.139.1.2" doc)) let main = foreign