From 9874f01cfb4fb5063ab4c56d006795f033ee0cb6 Mon Sep 17 00:00:00 2001
From: John Gebbie <me@johngebbie.com>
Date: Tue, 1 Nov 2022 10:26:02 +0000
Subject: [PATCH] use >&2 instead of >/dev/stderr

---
 dotoolc | 4 ++--
 dotoold | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/dotoolc b/dotoolc
index 1dcfe3e..64f70dd 100755
--- a/dotoolc
+++ b/dotoolc
@@ -3,7 +3,7 @@ if [ $# != 0 ]; then
 	echo 'dotoolc writes its stdin to the pipe being read by dotoold.
 dotoolc will exit immediately if the pipe is not being read.
 The path of the pipe is $DOTOOL_PIPE else /tmp/dotool_pipe.
-' > /dev/stderr
+' >&2
 	[ "$1" = -h ] || [ "$1" = --help ]; exit
 fi
 
@@ -18,7 +18,7 @@ if [ -p "$p" ] && ! [ -w "$p" ]; then
 	exit 1
 fi
 if ! fifo_being_read "$p"; then
-	echo 'dotoolc: dotoold is not connected' > /dev/stderr
+	echo 'dotoolc: dotoold is not connected' >&2
 	exit 1
 fi
 exec cat > "$p"
diff --git a/dotoold b/dotoold
index 110bb6b..1b897ed 100755
--- a/dotoold
+++ b/dotoold
@@ -3,7 +3,7 @@ if [ $# != 0 ]; then
 	echo 'dotoold runs dotool reading from a pipe for dotoolc to write to.
 dotoold will exit immediately if the pipe is already being read.
 The path used for the pipe is $DOTOOL_PIPE else /tmp/dotool_pipe.
-' > /dev/stderr
+' >&2
 	[ "$1" = -h ] || [ "$1" = --help ]; exit
 fi
 
@@ -14,7 +14,7 @@ fifo_being_read(){
 p="${DOTOOL_PIPE:-/tmp/dotool_pipe}"
 
 if fifo_being_read "$p" 2> /dev/null; then
-	echo 'dotoold: another instance is already connected' > /dev/stderr
+	echo 'dotoold: another instance is already connected' >&2
 	exit 1
 fi