From 01be856eff14997545ecd20f76062b8d739a3886 Mon Sep 17 00:00:00 2001
From: Santiago Roman <santiagoroman@users.noreply.github.com>
Date: Fri, 5 Feb 2021 01:09:27 -0300
Subject: [PATCH] Fix usage of /dev/null and ping flag in run.sh (#968)

- Use /dev/null instead of nul
- Use -c instead of -n as a ping flag to specify number of packets to be
  sent
---
 src/Misc/layoutroot/run.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Misc/layoutroot/run.sh b/src/Misc/layoutroot/run.sh
index c5d76bc34..66b933b63 100755
--- a/src/Misc/layoutroot/run.sh
+++ b/src/Misc/layoutroot/run.sh
@@ -34,14 +34,14 @@ else
             if [ ! -x "$(command -v ping)" ]; then
                 COUNT="0"
                 while [[ $COUNT != 5000 ]]; do
-                    echo "SLEEP" >nul
+                    echo "SLEEP" > /dev/null
                     COUNT=$[$COUNT+1]
                 done
             else
-                ping -n 5 127.0.0.1 >nul
+                ping -c 5 127.0.0.1 > /dev/null
             fi
         else
-            sleep 5 >nul
+            sleep 5
         fi
     else
         exit $returnCode