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

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

diff --git a/Linux/scripts/CreaTools-install.sh b/Linux/scripts/CreaTools-install.sh
index 008140e7412b7d84703997722e38df36e63b4055..76cb71f0aef3eebe3a8d61da8a2f510d51bcead8 100644 (file)
--- a/Linux/scripts/CreaTools-install.sh
+++ b/Linux/scripts/CreaTools-install.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 
 if [ $UID = 0 ]