From: Mark Wooding Date: Wed, 5 May 2010 14:23:12 +0000 (+0100) Subject: dot/bashrc: Minor options tweaks. X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/83a3b1eb8d1f365d50342de6c7a2f1c10eb9635a?hp=83a3b1eb8d1f365d50342de6c7a2f1c10eb9635a dot/bashrc: Minor options tweaks. Enable `**' wildcards and GNU-style errors; omit things beginning with a space from the history. ---