chiark / gitweb /
dot/bashrc: Minor options tweaks.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 5 May 2010 14:23:12 +0000 (15:23 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 5 May 2010 16:17:07 +0000 (17:17 +0100)
Enable `**' wildcards and GNU-style errors; omit things beginning with a
space from the history.


No differences found