From 05c79691dd289a0271f53cca6c1add9b3ba51845 Mon Sep 17 00:00:00 2001 From: everpcpc Date: Wed, 6 Dec 2023 09:22:42 +0800 Subject: [PATCH] chore(ci): fix install zig (#13933) --- scripts/setup/dev_setup.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/setup/dev_setup.sh b/scripts/setup/dev_setup.sh index 69bdc623d24f..6547559e7c7f 100755 --- a/scripts/setup/dev_setup.sh +++ b/scripts/setup/dev_setup.sh @@ -112,8 +112,9 @@ function install_ziglang { apt-get | yum | dnf | pacman) curl -sSfLo /tmp/zig.tar.xz "https://ziglang.org/download/0.11.0/zig-linux-${arch}-0.11.0.tar.xz" tar -xf /tmp/zig.tar.xz -C /tmp - "${PRE_COMMAND[@]}" cp "/tmp/zig-linux-${arch}-0.11.0/zig" /usr/local/bin/ + "${PRE_COMMAND[@]}" mv "/tmp/zig-linux-${arch}-0.11.0/zig" /usr/local/bin/ "${PRE_COMMAND[@]}" chmod +x /usr/local/bin/zig + "${PRE_COMMAND[@]}" mv "/tmp/zig-linux-${arch}-0.11.0/lib" /usr/local/lib/zig rm -rf /tmp/zig* ;; brew)