#!/bin/sh -> #!/bin/bash (for Ubuntu pb)

[creaToolsTools.git] / Linux / scripts / CreaTools-uninstall.sh

diff --git a/Linux/scripts/CreaTools-uninstall.sh b/Linux/scripts/CreaTools-uninstall.sh
index a4bbbcdb52a9e2883d7f96f0d52a489ce04f20dc..b58c94e0b2a5d4d68d95e78d2a86bec8c9351240 100644 (file)
--- a/Linux/scripts/CreaTools-uninstall.sh
+++ b/Linux/scripts/CreaTools-uninstall.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 echo "in uninstall"
 if [ $UID = 0 ]