GridReboot.sh
<source lang=bash>
- !/bin/bash
- Acryline erin Lincence GNU GPL
- Lancement de robust
- GridReboot.sh
- Droits sur ce fichier : chmod 751
- Remplacer <chemin vers le repertoire de la grille> et <nom de la grille> comme nécessaire.
- Pour une grille privée remplacer Robust.HG.ini par Robust.ini
sleep 20 log="<chemin vers le repertoire de la grille>/scripts/log/GridReboot.log"; adresse="<chemin vers le repertoire de la grille>";
DATE=`date +"%y-%m-%d-%Hh%m"`; echo $DATE >> $log;
cd $adresse/bin/; screen -S grille -d -m env LANG=C mono --server Robust.exe -inifile=Robust.HG.ini 2>> $log; </source>