GridReboot.sh

De OSWiki
Révision datée du 15 décembre 2017 à 20:16 par Acryline (discussion | contributions)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
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;