From 6972b811d92327143eb2d680ee22ffc9ada99523 Mon Sep 17 00:00:00 2001
From: jash <jash@schulterklopfer-productions.de>
Date: Sun, 21 Oct 2018 10:45:39 +0200
Subject: [PATCH] /dev/stderr ?

---
 dist/setup.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/dist/setup.sh b/dist/setup.sh
index 1ee0b0f..e794f0d 100755
--- a/dist/setup.sh
+++ b/dist/setup.sh
@@ -17,18 +17,18 @@
 trace()
 {
   if [ -n "${TRACING}" ]; then
-    echo -n "[$(date +%Y-%m-%dT%H:%M:%S%z)] ${1}" > /dev/stderr
+    echo -n "[$(date +%Y-%m-%dT%H:%M:%S%z)] ${1}"
   fi
 }
 
 log()
 {
-  echo -n "${1}" > /dev/stderr
+  echo -n "${1}"
 }
 
 logline()
 {
-  echo "${1}" > /dev/stderr
+  echo "${1}"
 }
 
 # FROM: https://stackoverflow.com/questions/5195607/checking-bash-exit-status-of-several-commands-efficiently