Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
engine:7.8:rename_server [2019/05/24 17:43]
ncardoso [Update LTU Engine specification]
engine:7.8:rename_server [2019/05/24 17:44] (current)
ncardoso [Update LTU Engine specification]
Line 104: Line 104:
 rm -f run/​cache/​config/​*.pyc rm -f run/​cache/​config/​*.pyc
  
-# check that the old hostname is not used anymore, no line should be returned by the following command+# check that the old hostname is not used anymore: 
-grep $OLD_HOSTNAME -R run/​cache/​config/​ --color+if [ $(grep $OLD_HOSTNAME -R run/​cache/​config/​ --color ​| wc -l) -eq 0 ]; then echo "​OK";​ else echo "​Error";​fi 
 + 
 +# check that the new hostname is used: 
 +if [ $(grep $NEW_HOSTNAME -R run/​cache/​config/​ --color | wc -l) -eq 0 ]; then echo "​Error";​ else echo "​OK";​fi
 </​file>​ </​file>​