commit a045fff03cce59fa5056ca2a3d4846d897df5b06 parent b4d27af423647d922e43282ea257a80c3eb6e953 Author: Anders Damsgaard <anders@adamsgaard.dk> Date: Wed, 24 Mar 2021 20:14:11 +0100 plumb: fix terminal spawn on linux Diffstat:
M | .local/bin/plumb | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.local/bin/plumb b/.local/bin/plumb @@ -45,7 +45,7 @@ regeximatch() { } termopen() { - if [ -z "$TERM" ]; then + if [ -z "$TERM" -o "$TERM" = linux -o "$TERM" = dumb ]; then detach $TERMINAL "$@" else "$@"