etc/profile.d/functions

diff --git a/etc/profile.d/functions b/etc/profile.d/functions
index a508fbe7a4b951f23fe4120cde4c51c5a591a17b..4299dcfe4cda52bfda16f87c3f9855d69b7a346c 100755 (executable)
--- a/etc/profile.d/functions
+++ b/etc/profile.d/functions
@@ -301,7 +301,7 @@ unzipurl() {
 # NB 20.03.19 
 # NB 20.03.19  file="/tmp/unzipurl.$$.zip"
 
-       wget "$url" -O "$file" && unzip -v "$file"
+       wget "$url" -O "$file" && unzip "$file"
 
        rm "$file"
 }