GridReboot.sh

De OSWiki
Révision datée du 15 décembre 2017 à 19:16 par Acryline (discussion | contributions)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
Aller à la navigation Aller à la recherche

<source lang=bash>

  1. !/bin/bash
    1. Acryline erin Lincence GNU GPL
    2. Lancement de robust
    3. GridReboot.sh
    4. Droits sur ce fichier : chmod 751
    5. Remplacer <chemin vers le repertoire de la grille> et <nom de la grille> comme nécessaire.
    6. 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>