fix(ci): retry wget downloads up to 20 times instead of never, don't kill all output (#706)

This commit is contained in:
наб 2025-11-10 19:14:14 +01:00 committed by GitHub
parent 4043a0469a
commit b6e9ff291e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 9 additions and 9 deletions

View file

@ -40,12 +40,12 @@ esac
set -euo pipefail
# Get the current project root (this file is in <root>/dev-scripts/ and gets called via just (just file is at <root>/justfile))
SRC_TAURI_DIR="$(pwd)/../src-tauri"
SRC_TAURI_DIR="$PWD/../src-tauri"
# Check if src-tauri directory exists
if [ ! -d "$SRC_TAURI_DIR" ]; then
echo "Error: must be called from project root -> src-tauri must be subdir"
echo "Current directory: $(pwd)"
echo "Current directory: $PWD"
exit 1
fi
@ -93,7 +93,7 @@ download_if_missing() {
echo "Already present: $dest"
else
echo "Downloading: $url"
wget -q "$url" -O "$dest"
wget --retry-connrefused -t 20 -nv "$url" -O "$dest"
fi
}