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.

diff --git a/dot/bash_profile b/dot/bash_profile
index 764f6b39a3149bf1496adfad00957e527bf8b48f..7f372f2ce1aafe2ed0f474d1876e741edb18240a 100644 (file)
--- a/dot/bash_profile
+++ b/dot/bash_profile
@@ -69,7 +69,7 @@ cd $HOME
 ## The main path.
 __mdw_addto PATH l \
   $HOME/bin \
 ## 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
 
   /opt/nfast{,/gcc}{/bin,/sbin} \
   $HOME/src/ncipher/scripts