kate/BadFish
1
0
Fork 0
mirror of https://github.com/sockspls/badfish synced 2025-04-29 16:23:09 +00:00
Code Issues Releases Wiki Activity

Fix net downloading script

Browse source 
The recent commit introduced a bug in the net downloading script that
the file is not downloaded correctly and the content is redirected to
stdout.

closes https://github.com/official-stockfish/Stockfish/pull/5585

No functional change
This commit is contained in:
MinetaS 2024-09-11 05:14:01 +09:00 • committed by Disservin
parent d8e49cdbdd
commit f677aee28b
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
scripts/net.sh
View file

@ -1,7 +1,7 @@
#!/bin/sh #!/bin/sh
wget_or_curl=$( (command -v wget > /dev/null 2>&1 && echo "wget -q") || \ wget_or_curl=$( (command -v wget > /dev/null 2>&1 && echo "wget -qO-") || \
(command -v curl > /dev/null 2>&1 && echo "curl -L -s -k")) (command -v curl > /dev/null 2>&1 && echo "curl -skL"))
if [ -z "$wget_or_curl" ]; then if [ -z "$wget_or_curl" ]; then
>&2 printf "%s\n" "Neither wget or curl is installed." \ >&2 printf "%s\n" "Neither wget or curl is installed." \
@ -51,7 +51,7 @@ fetch_network() {
"https://tests.stockfishchess.org/api/nn/$_filename" \ "https://tests.stockfishchess.org/api/nn/$_filename" \
"https://github.com/official-stockfish/networks/raw/master/$_filename"; do "https://github.com/official-stockfish/networks/raw/master/$_filename"; do
echo "Downloading from $url ..." echo "Downloading from $url ..."
if $wget_or_curl "$url"; then if $wget_or_curl "$url" > "$_filename"; then
if validate_network "$_filename"; then if validate_network "$_filename"; then
echo "Successfully validated $_filename" echo "Successfully validated $_filename"
else else