From 817ce9c2562cc24117702a3eac7c3717766d0a87 Mon Sep 17 00:00:00 2001
From: Steven Armstrong <steven@icarus.ethz.ch>
Date: Wed, 8 Feb 2012 08:31:59 +0100
Subject: [PATCH] /egrep/grep -E/
Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
---
conf/type/__key_value/explorer/state | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/conf/type/__key_value/explorer/state b/conf/type/__key_value/explorer/state
index ec760f71..94a5ea7f 100755
--- a/conf/type/__key_value/explorer/state
+++ b/conf/type/__key_value/explorer/state
@@ -29,7 +29,7 @@ value="$(cat "$__object/parameter/value" 2>/dev/null \
case "$state" in
absent)
- if egrep -q "^$key$delimiter+" "$file"; then
+ if grep -q -E "^$key$delimiter+" "$file"; then
# if the key exists, with whatever value, we will have to remove it
# so report it as present
echo present
@@ -39,10 +39,10 @@ case "$state" in
fi
;;
present)
- if egrep -q "^$key$delimiter+$value$" "$file"; then
+ if grep -q -E "^$key$delimiter+$value$" "$file"; then
# key exists and value is same
echo present
- elif egrep -q "^$key$delimiter+" "$file"; then
+ elif grep -q -E "^$key$delimiter+" "$file"; then
# key exists, but value is empty or different
echo wrongvalue
else