GridReboot.sh
Aller à la navigation
Aller à 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;