Update install.sh

ci/install.sh

 #!/bin/bash
 # Ce script est utilisé pour paramétrer l'environnement du site
-if [ 'x$PROD_HOME' -ne 'x' ]
+if [ "x$PROD_HOME" != "x" ]
 then
     HOME=$PROD_HOME
 else