diff --git a/dotoolc b/dotoolc index fa3b38a..b5db6e8 100755 --- a/dotoolc +++ b/dotoolc @@ -2,7 +2,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. +The path of the pipe is $DOTOOL_PIPE else /tmp/dotool-pipe. ' >&2 [ "$1" = -h ] || [ "$1" = --help ]; exit fi @@ -11,7 +11,7 @@ fifo_being_read(){ [ -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 printf %s\\n "dotoolc: the pipe does not grant write permission: $p" >&2 diff --git a/dotoold b/dotoold index 406fc4e..049d35e 100755 --- a/dotoold +++ b/dotoold @@ -2,7 +2,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. +The path used for the pipe is $DOTOOL_PIPE else /tmp/dotool-pipe. ' >&2 [ "$1" = -h ] || [ "$1" = --help ]; exit fi @@ -11,7 +11,7 @@ fifo_being_read(){ [ -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 printf %s\\n "dotoold: another instance is already reading the pipe: $p" >&2