commit f3ed5754b1c4ccc616afb1fbb1ce65e1f8f29808
parent 73ea36569e83560168cfd7e40d85d9d247bce593
Author: KADOTA, Kyohei <lufia@users.noreply.github.com>
Date: Wed, 14 Nov 2018 13:59:49 +0900
9term.app: add $PLAN9/bin to $PATH if not already in $PATH (#144)
9term set $PLAN9 if PLAN9 is not set. But $PATH is not set.
As a result, 9term exits with "exec devdraw: No such file or directory"
Diffstat:
1 file changed, 4 insertions(+), 0 deletions(-)
diff --git a/mac/9term.app/Contents/MacOS/9term b/mac/9term.app/Contents/MacOS/9term
@@ -2,4 +2,8 @@
cd $HOME
. ~/.bashrc
PLAN9=${PLAN9:-/usr/local/plan9}
+if ! [[ :$PATH: =~ :$PLAN9/bin: ]]
+then
+ PATH=$PATH:$PLAN9/bin
+fi
$PLAN9/bin/9term -W600x800 &