X-Git-Url: http://git.tuebingen.mpg.de/?p=gsu.git;a=blobdiff_plain;f=config;h=0f8bb596af8d1351c4c1d2d34d3190535cea24d6;hp=6b3be62f0eceabdf5551accfeddb3a9f3f690f6d;hb=4167cc8db6c44314335cffd9c1a80f6da7ae4a69;hpb=f66a09d3788d11454ac9723dc897188ccbbf9ed1

diff --git a/config b/config
index 6b3be62..0f8bb59 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
@@ -86,6 +84,6 @@ gsu_check_options_or_die()
 
 if [[ "$(type -t _gsu_setup)" != "function" ]]; then
 	gsu_dir=${gsu_dir:-${BASH_SOURCE[0]%/*}}
-	. $gsu_dir/common || exit 1
+	. "$gsu_dir/common" || exit 1
 	_gsu_setup
 fi