From 5f7c511cfec07365fc15f9647b36f22642db1e36 Mon Sep 17 00:00:00 2001 From: claustromaniac <20734810+claustromaniac@users.noreply.github.com> Date: Sun, 18 Nov 2018 23:19:24 -0300 Subject: [PATCH] drop unnecessary redirection --- updater.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/updater.sh b/updater.sh index c66ff5e..f4c8e00 100755 --- a/updater.sh +++ b/updater.sh @@ -17,7 +17,7 @@ DOWNLOAD_TO_FILE="curl -O" # Use wget if curl is not available. if [[ -z $(command -v "curl") ]] > /dev/null 2>&1; then - if [[ $(command -v "wget") ]] > /dev/null 2>&1; then + if [[ $(command -v "wget") ]]; then DOWNLOAD_TO_STDOUT="wget --quiet --output-document=-" DOWNLOAD_TO_FILE="wget" else