Use wanted_line in one more place

2022-06-18 22:22:33 -03:00
parent 8cfbe3958a
commit 6ba35093e9
1 changed files with 1 additions and 1 deletions
@@ -10,7 +10,7 @@ echo "Writing ${wanted_line} to ${file}" >&2
 if [[ -f "${file}" ]] && grep --quiet "^${wanted_line_key}=" "${file}"; then
    sed --in-place "s,^${wanted_line_key}=.*,${wanted_line}," "${file}"
 else
-    echo "LOCAL_WORKSPACE_FOLDER='${PWD}'" >"${file}"
+    echo "${wanted_line}" >"${file}"
 fi

 set -x