« GridReboot.sh » : différence entre les versions
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; | |||
</source> | |||
[[Catégorie:Scripts Bash]] | [[Catégorie:Scripts Bash]] | ||
Dernière version du 15 décembre 2017 à 20:16
<source lang=bash>
- !/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; </source>