From c5fc6fa9dc08e8a56b66da948577d7f3d1b9af90 Mon Sep 17 00:00:00 2001 From: crazywhalecc Date: Mon, 20 Jun 2022 20:56:59 +0800 Subject: [PATCH] Change curl to wget --- docker/download-git.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/download-git.sh b/docker/download-git.sh index b262e6f6..9ad5d241 100755 --- a/docker/download-git.sh +++ b/docker/download-git.sh @@ -10,7 +10,7 @@ if [ -d "$self_dir/source/cache/$2" ]; then echo "Using cache for $2" cp -r "$self_dir/source/cache/$2" "$self_dir/source/" else - curl -o $self_dir/source/master.zip "$GITHUB_ADDR""https://github.com/$1/archive/master.zip" && \ + wget -O $self_dir/source/master.zip "$GITHUB_ADDR""https://github.com/$1/archive/master.zip" && \ cd $self_dir/source/ && \ unzip master.zip && \ mv $2-master/ cache/$2 && \