permit ksh extglobs in GNU bash

diff --git a/bash-ksh/profile-funcs b/bash-ksh/profile-funcs
index f2f18fa..056e644 100644 (file)
--- a/bash-ksh/profile-funcs
+++ b/bash-ksh/profile-funcs
@@ -1,3 +1,5 @@
+test -z "$BASH_VERSION" || shopt -s extglob
+
 # Debian Bug Tracking System
 bts() {
        if [[ $1 = +([0-9]) ]]; then