Merge pull request #22 from digicatapult/patch/sed_strings

Fix backslashes in sed strings
digicatapult · Mar 22, 2024 · 67315ab · 67315ab
2 parents 8fa699c + f4f8445
commit 67315ab
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/check-envs.sh b/check-envs.sh
@@ -13,9 +13,9 @@ if [ ! "${POT_MOUNT_BASE}" ] ; then
 	POT_MOUNT_BASE=/opt/pot
 	echo POT_MOUNT_BASE not set, using ${POT_MOUNT_BASE}
 fi
-CHERIBSD_BUILD_ID=$(echo ${CHERIBSD_BUILD_ID} | sed 's/\s/_/g')
-RUNNER_NAME=$(echo ${RUNNER_NAME} | sed 's/\s/_/g; s/[$*?]//g')
-POT_MOUNT_BASE=$(echo ${POT_MOUNT_BASE} | sed 's/\s/_/g; s/[$*?]//g')
+CHERIBSD_BUILD_ID=$(echo ${CHERIBSD_BUILD_ID} | sed 's/\\s/_/g')
+RUNNER_NAME=$(echo ${RUNNER_NAME} | sed 's/\\s/_/g; s/[$*?]//g')
+POT_MOUNT_BASE=$(echo ${POT_MOUNT_BASE} | sed 's/\\s/_/g; s/[$*?]//g')
 # Set the pot name to use underscores in place of dots (the one character pot
 # names are apparently not allowed).
 POTNAME=$(echo ${RUNNER_NAME} | sed 's/\./_/g')