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

36c21a21 · longpanda · 13eb9829 · 36c21a21
Commit 36c21a21 authored Aug 23, 2022 by longpanda
Hide whitespace changes
Inline Side-by-side

Showing with 9 additions and 0 deletions

INSTALL/VentoyPlugson.sh INSTALL/VentoyPlugson.sh +9 -0

No files found.
--- 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)