diff options
| author | Petter Rodhelind <petter.rodhelind@gmail.com> | 2020-05-06 20:13:52 +0200 |
|---|---|---|
| committer | Petter Rodhelind <petter.rodhelind@gmail.com> | 2020-05-06 20:13:52 +0200 |
| commit | ea23656f7c3afcfd8516b00c0db09879ae80a09f (patch) | |
| tree | 5fc057fb21b7efb41c096148da7023ca9ed10e3d /mac | |
| parent | 9c79e48c93c0c4d14aabcb490fab048d68934cb2 (diff) | |
| parent | acffdcb6eed3385e1566c0ac86fb6b4bc130664b (diff) | |
| download | plan9port-ea23656f7c3afcfd8516b00c0db09879ae80a09f.tar.gz plan9port-ea23656f7c3afcfd8516b00c0db09879ae80a09f.tar.bz2 plan9port-ea23656f7c3afcfd8516b00c0db09879ae80a09f.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'mac')
| -rwxr-xr-x | mac/9term.app/Contents/MacOS/9term | 24 |
1 files changed, 22 insertions, 2 deletions
diff --git a/mac/9term.app/Contents/MacOS/9term b/mac/9term.app/Contents/MacOS/9term index e5ef2735..b5a46bc8 100755 --- a/mac/9term.app/Contents/MacOS/9term +++ b/mac/9term.app/Contents/MacOS/9term @@ -1,9 +1,29 @@ #!/bin/bash -cd $HOME -. ~/.bashrc +fshell=$(finger $(whoami) | sed -n 's/.*Shell: //p' | sed 1q) +SHELL=${fshell:-$SHELL} PLAN9=${PLAN9:-/usr/local/plan9} +cd $HOME +case "$SHELL" in +*/rc) + echo ' + if(! ~ $PLAN9/bin $path) + path=($path $PLAN9/bin) + $PLAN9/bin/9term -l -W600x800 & + ' | $SHELL -l + exit 0 + ;; +*/bash) + . ~/.bash_profile + ;; +*) + . ~/.profile + ;; +esac + if ! [[ :$PATH: =~ :$PLAN9/bin: ]] then PATH=$PATH:$PLAN9/bin fi $PLAN9/bin/9term -l -W600x800 & +exit 0 + |