update runner.sh

Signed-off-by: YunLiu <[email protected]>

Author: KumoLiu

runner.sh

@@ -422,7 +422,7 @@ base_path="$( cd "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"
 cd "${base_path}"
 
 function replace_text {
-    oldString="${s}\s*=\s*[0-9]\+"
+    oldString="${s}\s*=\s*[0-9]\+\(\.[0-9]\+\)\?\(e[+-]\?[0-9]\+\)\?"
     newString="${s} = 1"
 
     before=$(echo "$notebook" | grep "$oldString")