dotoolc: use exec

This commit is contained in:
John Gebbie 2022-10-22 18:38:19 +01:00
parent 4fb2cb37bf
commit ce63460c14

View file

@ -21,4 +21,4 @@ if ! fifo_being_read "$p"; then
echo 'dotoolc: dotoold is not connected' > /dev/stderr echo 'dotoolc: dotoold is not connected' > /dev/stderr
exit 1 exit 1
fi fi
cat > "$p" exec cat > "$p"