diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-02-02 17:14:32 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-02-02 17:14:32 +0100 |
commit | 5dadc28ea784db1ba1f56c2ea8618d2db67af1c8 (patch) | |
tree | 808b2499b54563b3290f34d70d159b1024310873 /tools/update-upstreams.sh | |
parent | 5bb4cf12855ec0151de15d6c5a2354ff08766957 (diff) | |
parent | 3dade5db2a37543f19f0967901d8d80a52a1e459 (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'tools/update-upstreams.sh')
-rwxr-xr-x | tools/update-upstreams.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/update-upstreams.sh b/tools/update-upstreams.sh index 3fde735..3a5e94a 100755 --- a/tools/update-upstreams.sh +++ b/tools/update-upstreams.sh @@ -6,11 +6,11 @@ fetch () { if type curl 2>/dev/null >/dev/null ; then - curl --silent --location --remote-name $1 + curl --location --remote-name $1 return fi if type wget 2>/dev/null >/dev/null ; then - wget --quiet --output-document $(echo $1 | sed 's,.*/,,') $1 + wget --output-document $(echo $1 | sed 's,.*/,,') $1 fi } |