avoid touch + rm + touch

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

diff --git a/Linux/scripts/CreaTools-install.sh b/Linux/scripts/CreaTools-install.sh
index e717960f79618cfc953ee8d8109ddaa68b5f3ce1..a0ab5a45f0f2aac333f8439a5f00de20ed1be40e 100644 (file)
--- a/Linux/scripts/CreaTools-install.sh
+++ b/Linux/scripts/CreaTools-install.sh
@@ -18,8 +18,10 @@ then
   bash installmod.sh $buildType $bbtkgeditorsource            $generationdir
   bash installmod.sh $buildType $creatoolssource              $generationdir
   
-  touch     $installPrefix/share/creatools_base_library_config.sh
-  rm        $installPrefix/share/creatools_base_library_config.sh
+  if [ -f $installPrefix/share/creatools_base_library_config.sh ]
+  then
+     rm        $installPrefix/share/creatools_base_library_config.sh
+  fi
   touch     $installPrefix/share/creatools_base_library_config.sh
   chmod 755 $installPrefix/share/creatools_base_library_config.sh
   
@@ -40,10 +42,10 @@ then
                  echo export ETC_BASHRC="/etc/bashrc"
               fi
              
-  # - remove line 'sh $installPrefix/creatools_install/share/creatools_base_libraries_config.sh' if any
+  # - remove line 'bash $installPrefix/creatools_install/share/creatools_base_libraries_config.sh' if any
   sed -i -e '/.*creatools_base_library_config.*/ d' $ETC_BASHRC
   #  modify /etc/bashrc (we cannot modify .bashrc, since we switched as root)  
-  # - add line 'sh $installPrefix/creatools_install/share/creatools_base_libraries_config.sh'
+  # - add line 'bash $installPrefix/creatools_install/share/creatools_base_libraries_config.sh'
   echo source $installPrefix/share/creatools_base_library_config.sh >> $ETC_BASHRC
 else
   echo