From ce63460c14a09f12a12bf6824f22895de45daac6 Mon Sep 17 00:00:00 2001
From: John Gebbie <me@johngebbie.com>
Date: Sat, 22 Oct 2022 18:38:19 +0100
Subject: [PATCH] dotoolc: use exec

---
 dotoolc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dotoolc b/dotoolc
index fadf3e5..1dcfe3e 100755
--- a/dotoolc
+++ b/dotoolc
@@ -21,4 +21,4 @@ if ! fifo_being_read "$p"; then
 	echo 'dotoolc: dotoold is not connected' > /dev/stderr
 	exit 1
 fi
-cat > "$p"
+exec cat > "$p"