chiark / gitweb /
~mdw / profile / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4458f45) | patch
dot/bash_profile: Reorder PATH /usr/local before /usr before /.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 11 Feb 2012 20:54:50 +0000 (20:54 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 11 Feb 2012 20:54:50 +0000 (20:54 +0000)
commitd0cefd73aa7c228adf3819d272bdb61dcf996906
treeca14321ba47c24e3c52f36cb97593e96251cad08tree | snapshot
parent4458f45af648d888a88bc2b26948edcb8de80603commit | diff
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 diff | blob | blame | history
Dotfiles and other configuration.