pomp/setup-script-py
1
0
Fork 0
Code Activity

auto deploy from workflow

Browse source
This commit is contained in:
github-actions[bot] 2022-11-07 12:00:50 +00:00
parent 0ab3f2c1c7
commit 139be248d0
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
index.html
View file

@ -91,7 +91,7 @@ def exit_if_no_internet():
"""Exits script if there's no internet connection. """Exits script if there's no internet connection.
Pings archlinux.org for testing.""" 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) print(" Failed to connect to the internet.", file=sys.stderr)
exit(1) exit(1)