From c0f2f686c4aa0953345f9c441deddadcd0a3861e Mon Sep 17 00:00:00 2001 From: Eugene Burkov Date: Tue, 7 Feb 2023 14:20:57 +0300 Subject: [PATCH] scripts: add fetch(1) support --- scripts/install.sh | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/scripts/install.sh b/scripts/install.sh index 5931fd3c417..c283fc556a0 100644 --- a/scripts/install.sh +++ b/scripts/install.sh @@ -338,6 +338,18 @@ download_wget() { wget --no-verbose -O "$wget_output" "$1" } +# download_fetch uses fetch(1) to download a file. The first argument is the +# URL. The second argument is optional and is the output file. +download_fetch() { + fetch_output="${2:-}" + if [ "$fetch_output" = '' ] + then + fetch -o '-' "$1" + else + fetch -o "$fetch_output" "$1" + fi +} + # Function set_download_func sets the appropriate function for downloading # files. set_download_func() { @@ -348,6 +360,9 @@ set_download_func() { elif is_command 'wget' then download_func='download_wget' + elif is_command 'fetch' + then + download_func='download_fetch' else error_exit "either curl or wget is required to install AdGuard Home via this script" fi