From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 11 Feb 2012 20:54:50 +0000 (+0000)
Subject: dot/bash_profile: Reorder PATH /usr/local before /usr before /.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/d0cefd73aa7c228adf3819d272bdb61dcf996906?ds=inline;hp=--cc

dot/bash_profile: Reorder PATH /usr/local before /usr before /.

In particular, this makes the `molly-guard' package effective.  It will
also fix problems with ping(1) on chiark.
---

d0cefd73aa7c228adf3819d272bdb61dcf996906
diff --git a/dot/bash_profile b/dot/bash_profile
index 764f6b3..7f372f2 100644
--- a/dot/bash_profile
+++ b/dot/bash_profile
@@ -69,7 +69,7 @@ cd $HOME
 ## The main path.
 __mdw_addto PATH l \
   $HOME/bin \
-  {,/usr{,/local}{,/X11R6}}{/bin,/sbin,/games} \
+  {/usr{/local,}{,/X11R6},}{/bin,/sbin,/games} \
   /opt/nfast{,/gcc}{/bin,/sbin} \
   $HOME/src/ncipher/scripts