From 8fd6f7da14cd7447f8b79cfda45da573cf07fcfe Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 11 Apr 2018 11:12:12 +0100
Subject: [PATCH] dot/profile: New preferred place for Plan 9 is `/opt/plan9'.

---
 dot/profile | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/dot/profile b/dot/profile
index e46e627..d9baf4b 100644
--- 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.
-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
-- 
2.11.0