chiark / gitweb /
dot/bash_profile: Read bashrc if it's been lost.
authorMark Wooding <mdw@distorted.org.uk>
Fri, 23 Oct 2009 15:45:07 +0000 (16:45 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Fri, 23 Oct 2009 15:45:07 +0000 (16:45 +0100)
Do this even if the profile has already been read.  Nautilus is
crazed in some unhelpful way.


No differences found