use common sed for GITHUB_SOURCE replace

2023-04-21 11:28:28 +08:00 · 2023-04-21 11:28:28 +08:00 · 97a2e41f62
commit 97a2e41f62
parent 014bc261dd
1 changed files with 1 additions and 1 deletions
--- a/lib/functions/general/git.sh
+++ b/lib/functions/general/git.sh
@ -86,7 +86,7 @@ function fetch_from_repo() {
 	local git_work_dir

 	# Set GitHub mirror before anything else touches $url
-	url=${url//'https://github.com/'/$GITHUB_SOURCE'/'}
+	url="$(echo "$url" | sed "s|^https://github.com/|${GITHUB_SOURCE}/|")"

 	# The 'offline' variable must always be set to 'true' or 'false'
 	local offline=false