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

moved /dev/null usage to a separate function

Browse source
This commit is contained in:
Kim, Jimin 2022-05-06 19:13:11 +09:00
parent c4e463ef00
commit 9d1eb5834a
3 changed files with 22 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

13
setup.py
View file

@ -18,6 +18,13 @@ tmp_dir = "/tmp/com.developomp.setup"
#
# Util
#
# These commands are from `src/util.py`.
# Comments can only be found over there.
#
def silent_system(command: str) -> None:
system(f"{command} &> /dev/null")
def command_exits(command: str) -> bool:
@ -72,7 +79,7 @@ def exit_if_no_internet():
Pings archlinux.org for testing."""
print("Checking if there's internet connection")
if system("ping -c 1 archlinux.org &> /dev/null"):
if silent_system("ping -c 1 archlinux.org"):
print("Failed to connect to internet.", file=sys.stderr)
exit(1)
@ -100,8 +107,8 @@ def clone_repository():
cleanup()
# clone repository
if system(
f"git clone --depth 1 https://github.com/developomp/setup.git {tmp_dir} &> /dev/null"
if silent_system(
f"git clone --depth 1 https://github.com/developomp/setup.git {tmp_dir}"
):
print("Failed to clone repository", file=sys.stderr)
exit(1)