From ff859941050c6d1c76493512a72a0f816eff7a24 Mon Sep 17 00:00:00 2001
From: jfontaine35 <76435797+jfontaine35@users.noreply.github.com>
Date: Wed, 1 Feb 2023 18:49:25 +0100
Subject: [PATCH] Update .profile

---
 .profile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.profile b/.profile
index f782f56..634168e 100644
--- a/.profile
+++ b/.profile
@@ -63,7 +63,7 @@ ping -c 1 "$host1" > /dev/null 2>&1
 if [ $? -ne 0 ]; then
   echo -e "\033[0;31mAucune connexion Internet n'est disponible.\033[0m"
 else
-  ping -c 1 "$host2" > /dev/null 2>&1
+  nslookup "$host2" > /dev/null 2>&1
   if [ $? -ne 0 ]; then
     echo -e "\033[0;31mAucune connexion DNS n'est disponible.\033[0m"
   else