« Lancement de la grille » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
|||
| Ligne 44 : | Ligne 44 : | ||
|} | |} | ||
=Lancement de la grille avec un script Bash= | =Lancement de la grille avec un script Bash (automatisation)= | ||
=Au premier lancement : créer le premier utilisateur= | =Au premier lancement : créer le premier utilisateur= | ||
Version du 15 décembre 2017 à 19:01
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 |