From 139be248d0c2a20266d703589649b9dad729f3f0 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Mon, 7 Nov 2022 12:00:50 +0000
Subject: [PATCH] auto deploy from workflow

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

diff --git a/index.html b/index.html
index e1e44b7..8af06a0 100644
--- a/index.html
+++ b/index.html
@@ -91,7 +91,7 @@ def exit_if_no_internet():
     """Exits script if there's no internet connection.
     Pings archlinux.org for testing."""
 
-    if system("ping -c 1 archlinux.org"):
+    if system("ping -c 1 archlinux.org > /dev/null"):
         print("  Failed to connect to the internet.", file=sys.stderr)
         exit(1)