From 4e9ecec3f6940419f0dd596eb985ee1a74c7ab5f Mon Sep 17 00:00:00 2001 From: Stephan Witt Date: Sun, 19 Apr 2020 13:12:26 +0200 Subject: [PATCH] additional check for default pipe locations used by active LyX instance --- development/MacOSX/lyxeditor | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/development/MacOSX/lyxeditor b/development/MacOSX/lyxeditor index 1cd3b76b4e..9d6aabe062 100755 --- a/development/MacOSX/lyxeditor +++ b/development/MacOSX/lyxeditor @@ -59,6 +59,11 @@ do if [ -n "$LYXPIPE" -a -p "$LYXPIPE".in ]; then break fi + # now check for default pipe location + if [ -p "${ABS_USER_LYXDIR}"/.lyxpipe.in ]; then + LYXPIPE="${ABS_USER_LYXDIR}/.lyxpipe" + break + fi done # echo "preferences file sets lyxpipe as ${LYXPIPE}"