diff options
-rw-r--r-- | CONTRIBUTORS | 1 | ||||
-rwxr-xr-x | mac/Plumb.app/Contents/MacOS/plumb | 4 |
2 files changed, 4 insertions, 1 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index e5c5eb6a..80f39ab3 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -28,6 +28,7 @@ Michael Teichgräber <mt@ib.wmipf.de> Nikolai Saoukh <nikolai.saoukh@gmail.com> Peter Saveliev <svinota.saveliev@gmail.com> Richard Miller <millerresearch@gmail.com> +Rob Kroeger <robkroeger@gmail.com> Rob Pike <robpike@gmail.com> Russ Cox <rsc@swtch.com> Sean McKean <smckean83@gmail.com> diff --git a/mac/Plumb.app/Contents/MacOS/plumb b/mac/Plumb.app/Contents/MacOS/plumb index fc5e2c30..f98cd2e7 100755 --- a/mac/Plumb.app/Contents/MacOS/plumb +++ b/mac/Plumb.app/Contents/MacOS/plumb @@ -1,6 +1,8 @@ #!/bin/bash -. ~/.bashrc +if [ -e ~/.bashrc ] ; then + . ~/.bashrc +fi PLAN9=${PLAN9:-/usr/local/plan9} bin=$PLAN9/bin |