Always use /bin/bash to launch VentoyPlugson.sh (#1809)

diff --git a/INSTALL/VentoyPlugson.sh b/INSTALL/VentoyPlugson.sh
index c398432c46fb4bb5ec1f3ccf54933c8363b444d1..b23218af62d8096a5f41caf5311a56a734e0bf60 100644 (file)
--- a/INSTALL/VentoyPlugson.sh
+++ b/INSTALL/VentoyPlugson.sh
@@ -17,6 +17,15 @@ if [ $uid -ne 0 ]; then
     exit 1
 fi
 
+if [ "$1" = "__vbash__" ]; then
+    shift
+else
+    if readlink /bin/sh | grep -q bash; then
+        :
+    else
+        exec /bin/bash $0 "__vbash__" "$@"
+    fi
+fi
 
 OLDDIR=$(pwd)