dot/profile: New preferred place for Plan 9 is `/opt/plan9'.

diff --git a/dot/profile b/dot/profile
index e46e627b76ed5aa9acb2f0d1dc3ca68fdf27c70d..d9baf4b9b1d2754aaca6a2e739ecb3d088763276 100644 (file)
--- a/dot/profile
+++ b/dot/profile
@@ -83,10 +83,13 @@ __mdw_addto PATH l \
   /opt/nfast/bin /opt/nfast/sbin
 
 ## If we have Plan 9 from User Space, then add that in.
   /opt/nfast/bin /opt/nfast/sbin
 
 ## If we have Plan 9 from User Space, then add that in.

-if [ -d /usr/local/plan9 ]; then
-  PLAN9=/usr/local/plan9; export PLAN9
-  __mdw_addto PATH r $PLAN9/bin
-fi
+for i in /opt/plan9 /usr/local/plan9; do
+  if [ -d $i ]; then
+    PLAN9=$i; export PLAN9
+    __mdw_addto PATH r $i/bin
+    break
+  fi
+done

 
 ## Check for some standard path hacks.
 for i in ccache; do
 
 ## Check for some standard path hacks.
 for i in ccache; do