drop unnecessary redirection

This commit is contained in:
claustromaniac 2018-11-18 23:19:24 -03:00
parent c878512a07
commit 5f7c511cfe
No known key found for this signature in database
GPG Key ID: 6FFF2F5AB0F3AA2D

View File

@ -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