config: Remove workaround for old bash versions.

This is no longer necessary as we now require bash-4.3 or newer.

diff --git a/config b/config
index 6b3be62f0eceabdf5551accfeddb3a9f3f690f6d..caaf39dc2c537c01c975ac0f16006bb85b06d6d2 100644 (file)
--- a/config
+++ b/config
@@ -31,9 +31,7 @@ gsu_check_options()
                # only.  Moreover it must start with [a-zA-Z].
                ret=-$E_GSU_BAD_CONFIG_VAR
                result="name: '$name'"
                # only.  Moreover it must start with [a-zA-Z].
                ret=-$E_GSU_BAD_CONFIG_VAR
                result="name: '$name'"

-               # bash's =~ works only for 3.2 and newer, so use grep
-               echo "$name" | grep '^[a-zA-Z][a-zA-Z_0123456789]*$' &> /dev/null;
-               (($? != 0)) && return
+               [[ "$name" =~ ^[a-zA-Z][a-zA-Z_0123456789]*$ ]] || return

 
                eval orig_val='"'\$orig_${gsu_config_var_prefix}_$name'"'
                if [[ -z "$orig_val" ]]; then
 
                eval orig_val='"'\$orig_${gsu_config_var_prefix}_$name'"'
                if [[ -z "$orig_val" ]]; then