diff --git a/kibot/misc.py b/kibot/misc.py index 43eac666..49ce4f1c 100644 --- a/kibot/misc.py +++ b/kibot/misc.py @@ -300,7 +300,7 @@ def name2make(name): def hide_stderr(): """ Low level stderr suppression, used to hide KiCad bugs. """ newstderr = os.dup(2) - devnull = os.open('/dev/null', os.O_WRONLY) + devnull = os.open(os.devnull, os.O_WRONLY) os.dup2(devnull, 2) os.close(devnull) try: diff --git a/src/kibot-check b/src/kibot-check index 6a01f8f5..09e4c71f 100755 --- a/src/kibot-check +++ b/src/kibot-check @@ -1263,7 +1263,7 @@ def search_as_plugin(cmd, names): def hide_stderr(): """ Low level stderr suppression, used to hide KiCad bugs. """ newstderr = os.dup(2) - devnull = os.open('/dev/null', os.O_WRONLY) + devnull = os.open(os.devnull, os.O_WRONLY) os.dup2(devnull, 2) os.close(devnull) yield diff --git a/src/kibot-check.in b/src/kibot-check.in index c36bea15..d10c8015 100755 --- a/src/kibot-check.in +++ b/src/kibot-check.in @@ -129,7 +129,7 @@ def search_as_plugin(cmd, names): def hide_stderr(): """ Low level stderr suppression, used to hide KiCad bugs. """ newstderr = os.dup(2) - devnull = os.open('/dev/null', os.O_WRONLY) + devnull = os.open(os.devnull, os.O_WRONLY) os.dup2(devnull, 2) os.close(devnull) yield