modules
/
nutools
10
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

update-nutools: prendre le dépôt public par défaut

This commit is contained in:
Jephté Clain 2023-06-14 15:41:14 +04:00
parent 27a82e439b
commit 2a023070e7
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
update-nutools
View File

@ -62,16 +62,16 @@ WGET="$(which wget 2>/dev/null)"
if [ -n "$NUTOOLS_REPO" ]; then if [ -n "$NUTOOLS_REPO" ]; then
REPO="$NUTOOLS_REPO" REPO="$NUTOOLS_REPO"
elif [ -n "$CURL" ]; then elif [ -n "$CURL" ]; then
if curl -fs "$PRIV_REPO" >&/dev/null; then if curl -fs -m 3 "$PUB_REPO" >&/dev/null; then
REPO="$PRIV_REPO"
else
REPO="$PUB_REPO" REPO="$PUB_REPO"
else
REPO="$PRIV_REPO"
fi fi
elif [ -n "$WGET" ]; then elif [ -n "$WGET" ]; then
if wget -q -O - "$PRIV_REPO" >&/dev/null; then if wget -q --timeout=3 -O - "$PUB_REPO" >&/dev/null; then
REPO="$PRIV_REPO"
else
REPO="$PUB_REPO" REPO="$PUB_REPO"
else
REPO="$PRIV_REPO"
fi fi
else else
REPO="$PUB_REPO" REPO="$PUB_REPO"