GridReboot.sh

De OSWiki
Révision datée du 15 décembre 2017 à 20:14 par Acryline (discussion | contributions) (Page créée avec « #!/bin/bash ## Acryline erin Lincence GNU GPL ## Lancement de robust ## GridReboot.sh ## ## Droits sur ce fichier : chmod 751 ## Remplacer <chemin vers le repertoire de l... »)
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)
Aller à la navigation Aller à la recherche
  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