From 502ba72d2904721ecd0579576ed3f8f1bf648936 Mon Sep 17 00:00:00 2001
From: jiang548 <jiang548@purdue.edu>
Date: Wed, 4 May 2022 01:48:29 -0400
Subject: [PATCH] extended format allow - in parameter name

---
 script/config_controller.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/script/config_controller.sh b/script/config_controller.sh
index 867c773..b1c3ccf 100755
--- a/script/config_controller.sh
+++ b/script/config_controller.sh
@@ -38,7 +38,7 @@ set_param(){
     if [[ -z $val ]]; then
     get_param $args; else
     local cmd=$(echo 's@^'${param}'[ ]*=.*@'${param} '=' ${val}'@')
-    sed -i "${cmd}" "$SIGNET_ROOT/config.ini"
+    sed -iE "${cmd}" "$SIGNET_ROOT/config.ini"
     echo  "Modification applied to ${param}"
     fi
 }