update unzip instructions

diff --git a/_webi/bootstrap.sh b/_webi/bootstrap.sh
index 6562087db0de61fd82f9b33fd3d66d7efe782a60..b9efebbed95e29c23272cca016f5a36c5b70e7b6 100644 (file)
--- a/_webi/bootstrap.sh
+++ b/_webi/bootstrap.sh
@@ -53,7 +53,12 @@ fi
 if [ -n "\$(command -v unzip)" ]; then
     my_ext="zip,\$my_ext"
 else
-    >&2 echo "WARN: 'unzip' not found"
+    if [ -n "\$(command -v apt-get)" ]; then
+        >&2 echo "WARN: please install 'unzip':"
+        >&2 echo "        sudo apt-get install -y unzip"
+    else
+        >&2 echo "WARN: 'unzip' not found"
+    fi
 fi
 if [ -n "\$(command -v tar)" ]; then
     my_ext="tar,\$my_ext"