« Lancement de la grille » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
|||
| Ligne 1 : | Ligne 1 : | ||
__TOC__ | |||
=Lancement de la grille en console= | =Lancement de la grille en console= | ||
{| | {| | ||
Version du 15 décembre 2017 à 19:00
Lancement de la grille en console
Créer le terminal grille:
screen -d -m -S OSWiki |
Ouvrir le terminal
screen -x OSWiki |
Se placer dans le dossier bin de la grille :
cd Modèle:Grille répertoire/bin
|
Lancer la grille avec la commande :
env LANG=C mono --server Robust.exe -inifile=Robust.HG.ini |
Fermer le terminal :
CTRL +a puis d |