Make remove_path more robust

Growl1234 · Growl1234 · commit fca9a25ca542 · 2026-04-10T23:32:02.000+08:00
diff --git a/toolchain/scripts/tool_kit.sh b/toolchain/scripts/tool_kit.sh
@@ -743,7 +743,7 @@ remove_path() {
   __path=${__path//:$__directory:/:}
   __path=${__path#$__directory:}
   __path=${__path%:$__directory}
-  __path=$(echo "$__path" | sed "s:^$__directory\$::g")
+  __path=$(echo "$__path" | sed "s#^$__directory\$##g")
   eval $__path_name=\"$__path\"
   export $__path_name
 }

Original file line number	Diff line number	Diff line change
`@@ -743,7 +743,7 @@ remove_path() {`
`743`	`743`	`__path=${__path//:$__directory:/:}`
`744`	`744`	`__path=${__path#$__directory:}`
`745`	`745`	`__path=${__path%:$__directory}`
`746`		`- __path=$(echo "$__path" \| sed "s:^$__directory\$::g")`
	`746`	`+ __path=$(echo "$__path" \| sed "s#^$__directory\$##g")`
`747`	`747`	`eval $__path_name=\"$__path\"`
`748`	`748`	`export $__path_name`
`749`	`749`	`}`