GridReboot.sh

De OSWiki
Sauter à la navigation Sauter à la recherche
#!/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;