Update .profile

This commit is contained in:
jfontaine35
2023-02-01 18:49:25 +01:00
committed by GitHub
parent 141ac0927a
commit ff85994105
+1 -1
View File
@@ -63,7 +63,7 @@ ping -c 1 "$host1" > /dev/null 2>&1
if [ $? -ne 0 ]; then if [ $? -ne 0 ]; then
echo -e "\033[0;31mAucune connexion Internet n'est disponible.\033[0m" echo -e "\033[0;31mAucune connexion Internet n'est disponible.\033[0m"
else else
ping -c 1 "$host2" > /dev/null 2>&1 nslookup "$host2" > /dev/null 2>&1
if [ $? -ne 0 ]; then if [ $? -ne 0 ]; then
echo -e "\033[0;31mAucune connexion DNS n'est disponible.\033[0m" echo -e "\033[0;31mAucune connexion DNS n'est disponible.\033[0m"
else else