From d021a031b865ad40f0d1a6df037d756d749325ee Mon Sep 17 00:00:00 2001 From: smtmfft Date: Thu, 4 Jul 2024 14:21:48 +0800 Subject: [PATCH] debug CI Signed-off-by: smtmfft --- script/install.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/script/install.sh b/script/install.sh index 70aadfd5c..679481ad9 100755 --- a/script/install.sh +++ b/script/install.sh @@ -44,14 +44,17 @@ if [ -z "$1" ] || [ "$1" == "sgx" ]; then fi # RISC0 if [ -z "$1" ] || [ "$1" == "risc0" ]; then - # cargo install cargo-risczero - # cargo risczero install --version v2024-02-08.1 + echo "Current TERM: $TERM" if [ -z "$TERM" ] || [ "$TERM" = "dumb" ]; then # Set TERM to xterm-color256 echo "Setting TERM to xterm" export TERM=xterm fi curl -L https://risczero.com/install | bash + + if [ ! command -v sp1up &> /dev/null ]; then + source $HOME/.bashrc + fi rzup -v 1.0.1 fi # SP1