dotool/dotoold

26 lines
665 B
Text
Raw Normal View History

2022-10-20 15:21:20 +02:00
#!/bin/sh
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.
2023-04-28 17:44:54 +02:00
The path used for the pipe is $DOTOOL_PIPE else /tmp/dotool-pipe.
2022-11-01 11:26:02 +01:00
' >&2
2022-10-20 15:21:20 +02:00
[ "$1" = -h ] || [ "$1" = --help ]; exit
fi
fifo_being_read(){
[ -p "$1" ] && /bin/echo 1<>"$1" >"$1"
}
2023-04-28 17:44:54 +02:00
p="${DOTOOL_PIPE:-/tmp/dotool-pipe}"
2022-10-20 15:21:20 +02:00
if fifo_being_read "$p" 2> /dev/null; then
2023-01-25 18:47:12 +01:00
printf %s\\n "dotoold: another instance is already reading the pipe: $p" >&2
2022-10-20 15:21:20 +02:00
exit 1
fi
2023-01-25 18:08:23 +01:00
rm -f -- "$p" || exit 1
trap 'rm -f -- "$p"; pkill -P $$; trap - EXIT; exit' EXIT INT TERM HUP
2022-10-20 15:21:20 +02:00
mkfifo -m 660 "$p" || exit 1
2022-10-22 19:37:37 +02:00
dotool <> "$p" &
wait