From 6ba35093e9ac75ecb5481038178acf0d8a4e831a Mon Sep 17 00:00:00 2001 From: Felipe Santos Date: Sat, 18 Jun 2022 22:22:33 -0300 Subject: [PATCH] Use wanted_line in one more place --- .devcontainer/initialize.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/initialize.sh b/.devcontainer/initialize.sh index 1f4e069c..850b264e 100755 --- a/.devcontainer/initialize.sh +++ b/.devcontainer/initialize.sh @@ -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