From: Mark Wooding <mdw@distorted.org.uk>
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=--cc

dot/bashrc: Minor options tweaks.

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

83a3b1eb8d1f365d50342de6c7a2f1c10eb9635a
diff --git a/dot/bashrc b/dot/bashrc
index e8bf6a4..17e18bb 100644
--- a/dot/bashrc
+++ b/dot/bashrc
@@ -69,6 +69,8 @@ shopt -s cmdhist
 shopt -u dotglob
 shopt -s expand_aliases
 shopt -s extglob
+shopt -s globstar
+shopt -s gnu_errfmt
 shopt -s histappend
 shopt -s histreedit
 shopt -u histverify
@@ -83,6 +85,8 @@ shopt -s promptvars
 shopt -u shift_verbose
 shopt -s sourcepath
 
+HISTCONTROL=ignorespace:erasedups
+
 # --- Set the CDPATH ---
 #
 # CDPATH=~/src:/usr/src:/usr/lib:/usr/share