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)
commit83a3b1eb8d1f365d50342de6c7a2f1c10eb9635a
treeba56d5ad7b2da81893315cf56a5542f1307813f6
parentc035e794d622d7074c8fa94e18cb5ddfea7c36a1
dot/bashrc: Minor options tweaks.

Enable `**' wildcards and GNU-style errors; omit things beginning with a
space from the history.
dot/bashrc