mirror of
https://github.com/webmin/webmin.git
synced 2025-07-21 23:40:34 +00:00
Fix to make old repo setup script work #2347 2/2
This commit is contained in:
@ -1,2 +1,24 @@
|
||||
# Suppressed by webmin-setup-repo.sh
|
||||
# https://raw.githubusercontent.com/webmin/webmin/master/webmin-setup-repo.sh
|
||||
#!/bin/sh
|
||||
# setup-repos-nightly.sh — suppressed by webmin-setup-repo.sh
|
||||
# Sets up a production or testing repository for Webmin and Usermin packages
|
||||
# on Debian-based and RPM-based systems
|
||||
|
||||
NEW_SCRIPT_URL="https://raw.githubusercontent.com/webmin/webmin/master/\
|
||||
webmin-setup-repo.sh"
|
||||
|
||||
for downloader in "curl -fsSL" "wget -qO-"; do
|
||||
if command -v "${downloader%% *}" >/dev/null 2>&1; then
|
||||
tmp_script=$(mktemp)
|
||||
case $downloader in
|
||||
curl*) curl -fsSL "$NEW_SCRIPT_URL" > "$tmp_script" ;;
|
||||
wget*) wget -qO- "$NEW_SCRIPT_URL" > "$tmp_script" ;;
|
||||
esac
|
||||
sh "$tmp_script" "$@"
|
||||
rm -f "$tmp_script"
|
||||
exit 0
|
||||
fi
|
||||
done
|
||||
|
||||
# If neither downloader works, show an error
|
||||
echo "Error: Neither curl nor wget is installed." >&2
|
||||
exit 1
|
||||
|
@ -1,2 +1,24 @@
|
||||
# Suppressed by webmin-setup-repo.sh
|
||||
# https://raw.githubusercontent.com/webmin/webmin/master/webmin-setup-repo.sh
|
||||
#!/bin/sh
|
||||
# setup-repos.sh — suppressed by webmin-setup-repo.sh
|
||||
# Sets up a production or testing repository for Webmin and Usermin packages
|
||||
# on Debian-based and RPM-based systems
|
||||
|
||||
NEW_SCRIPT_URL="https://raw.githubusercontent.com/webmin/webmin/master/\
|
||||
webmin-setup-repo.sh"
|
||||
|
||||
for downloader in "curl -fsSL" "wget -qO-"; do
|
||||
if command -v "${downloader%% *}" >/dev/null 2>&1; then
|
||||
tmp_script=$(mktemp)
|
||||
case $downloader in
|
||||
curl*) curl -fsSL "$NEW_SCRIPT_URL" > "$tmp_script" ;;
|
||||
wget*) wget -qO- "$NEW_SCRIPT_URL" > "$tmp_script" ;;
|
||||
esac
|
||||
sh "$tmp_script" "$@"
|
||||
rm -f "$tmp_script"
|
||||
exit 0
|
||||
fi
|
||||
done
|
||||
|
||||
# If neither downloader works, show an error
|
||||
echo "Error: Neither curl nor wget is installed." >&2
|
||||
exit 1
|
||||
|
@ -1,2 +1,24 @@
|
||||
# Suppressed by webmin-setup-repo.sh
|
||||
# https://raw.githubusercontent.com/webmin/webmin/master/webmin-setup-repo.sh
|
||||
#!/bin/sh
|
||||
# webmin-setup-repos-nightly.sh — suppressed by webmin-setup-repo.sh
|
||||
# Sets up a production or testing repository for Webmin and Usermin packages
|
||||
# on Debian-based and RPM-based systems
|
||||
|
||||
NEW_SCRIPT_URL="https://raw.githubusercontent.com/webmin/webmin/master/\
|
||||
webmin-setup-repo.sh"
|
||||
|
||||
for downloader in "curl -fsSL" "wget -qO-"; do
|
||||
if command -v "${downloader%% *}" >/dev/null 2>&1; then
|
||||
tmp_script=$(mktemp)
|
||||
case $downloader in
|
||||
curl*) curl -fsSL "$NEW_SCRIPT_URL" > "$tmp_script" ;;
|
||||
wget*) wget -qO- "$NEW_SCRIPT_URL" > "$tmp_script" ;;
|
||||
esac
|
||||
sh "$tmp_script" "$@"
|
||||
rm -f "$tmp_script"
|
||||
exit 0
|
||||
fi
|
||||
done
|
||||
|
||||
# If neither downloader works, show an error
|
||||
echo "Error: Neither curl nor wget is installed." >&2
|
||||
exit 1
|
||||
|
Reference in New Issue
Block a user