From 06c59d15434c5d0ea5757bfd4322d74f960dba57 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Wed, 8 Mar 2017 08:44:33 +0100
Subject: [PATCH] config: Remove workaround for old bash versions.

This is no longer necessary as we now require bash-4.3 or newer.
---
 config | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/config b/config
index 6b3be62..caaf39d 100644
--- 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'"
-		# 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
-- 
2.39.5