« GridReboot.sh » : différence entre les versions

De OSWiki
Aller à la navigation Aller à la recherche
(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... »)
 
Aucun résumé des modifications
 
Ligne 1 : Ligne 1 :
<source lang=bash>
#!/bin/bash  
#!/bin/bash  
## Acryline erin Lincence GNU GPL
## Acryline erin Lincence GNU GPL
Ligne 9 : Ligne 10 :


sleep 20
sleep 20
log ="<chemin vers le repertoire de la grille>/scripts/log/GridReboot.log"
log="<chemin vers le repertoire de la grille>/scripts/log/GridReboot.log";
adresse = "<chemin vers le repertoire de la grille>"
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
 
 
 


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>




[[Catégorie:Scripts Bash]]
[[Catégorie:Scripts Bash]]

Version actuelle datée du 15 décembre 2017 à 19:16

#!/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;