simono41/dotool
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

/tmp/dotool_pipe -> /tmp/dotool-pipe

Browse source
This commit is contained in:
John Gebbie 2023-04-28 16:44:54 +01:00
parent 1b79ad39bb
commit 874650ad22
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
dotoolc
View file

@ -2,7 +2,7 @@
if [ $# != 0 ]; then if [ $# != 0 ]; then
echo 'dotoolc writes its stdin to the pipe being read by dotoold. echo 'dotoolc writes its stdin to the pipe being read by dotoold.
dotoolc will exit immediately if the pipe is not being read. dotoolc will exit immediately if the pipe is not being read.
The path of the pipe is $DOTOOL_PIPE else /tmp/dotool_pipe. The path of the pipe is $DOTOOL_PIPE else /tmp/dotool-pipe.
' >&2 ' >&2
[ "$1" = -h ] || [ "$1" = --help ]; exit [ "$1" = -h ] || [ "$1" = --help ]; exit
fi fi
@ -11,7 +11,7 @@ fifo_being_read(){
[ -p "$1" ] && /bin/echo 1<>"$1" >"$1" [ -p "$1" ] && /bin/echo 1<>"$1" >"$1"
} }
p="${DOTOOL_PIPE:-/tmp/dotool_pipe}" p="${DOTOOL_PIPE:-/tmp/dotool-pipe}"
if [ -p "$p" ] && ! [ -w "$p" ]; then if [ -p "$p" ] && ! [ -w "$p" ]; then
printf %s\\n "dotoolc: the pipe does not grant write permission: $p" >&2 printf %s\\n "dotoolc: the pipe does not grant write permission: $p" >&2

4
dotoold
View file

@ -2,7 +2,7 @@
if [ $# != 0 ]; then if [ $# != 0 ]; then
echo 'dotoold runs dotool reading from a pipe for dotoolc to write to. echo 'dotoold runs dotool reading from a pipe for dotoolc to write to.
dotoold will exit immediately if the pipe is already being read. dotoold will exit immediately if the pipe is already being read.
The path used for the pipe is $DOTOOL_PIPE else /tmp/dotool_pipe. The path used for the pipe is $DOTOOL_PIPE else /tmp/dotool-pipe.
' >&2 ' >&2
[ "$1" = -h ] || [ "$1" = --help ]; exit [ "$1" = -h ] || [ "$1" = --help ]; exit
fi fi
@ -11,7 +11,7 @@ fifo_being_read(){
[ -p "$1" ] && /bin/echo 1<>"$1" >"$1" [ -p "$1" ] && /bin/echo 1<>"$1" >"$1"
} }
p="${DOTOOL_PIPE:-/tmp/dotool_pipe}" p="${DOTOOL_PIPE:-/tmp/dotool-pipe}"
if fifo_being_read "$p" 2> /dev/null; then if fifo_being_read "$p" 2> /dev/null; then
printf %s\\n "dotoold: another instance is already reading the pipe: $p" >&2 printf %s\\n "dotoold: another instance is already reading the pipe: $p" >&2