From d0cefd73aa7c228adf3819d272bdb61dcf996906 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 11 Feb 2012 20:54:50 +0000
Subject: [PATCH] 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.
---
 dot/bash_profile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.11.0