« Lancement de la grille » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
|||
| Ligne 28 : | Ligne 28 : | ||
|{{Logigramme-bas | |{{Logigramme-bas | ||
|aligner = left | |aligner = left | ||
|texte = <span style="color: black; font-size:1.2em;font-weight: normal;">Lancer la grille : | |texte = <span style="color: black; font-size:1.2em;font-weight: normal;">Lancer la grille avec la commande : | ||
env LANG=C mono --server Robust.exe -inifile=Robust.HG.ini</span> | env LANG=C mono --server Robust.exe -inifile=Robust.HG.ini</span> | ||
|bord = 000000 | |bord = 000000 | ||
Version du 15 décembre 2017 à 19:56
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 |