Le wiki de WIMS EDU

L'association WIMS EDU a ouvert ce wiki afin de favoriser les collaborations entre utilisateurs de WIMS.

Outils pour utilisateurs

Outils du site


installation:logiciels_particuliers

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
installation:logiciels_particuliers [14/06/2015 08:01]
bernadette [Bug spécifique à Debian]
installation:logiciels_particuliers [10/07/2015 09:34] (Version actuelle)
obado [Pour accélérer l'utilisation de GAP]
Ligne 23: Ligne 23:
 Il arrive parfois que GAP met tellement de temps à répondre que WIMS considère qu'il est absent. Il arrive parfois que GAP met tellement de temps à répondre que WIMS considère qu'il est absent.
 Suivez cette démarche pour corriger cela : Suivez cette démarche pour corriger cela :
-  * Lancer dans le répertoire $(wims) la commande ​+  * Lancer dans le répertoire $(wims) la commande 
   echo '​SaveWorkspace("​workspace"​);'​ | $adresse_gap.sh -q -r -R >/​dev/​null   echo '​SaveWorkspace("​workspace"​);'​ | $adresse_gap.sh -q -r -R >/​dev/​null
 +
   * Changer la commande d'​exécution de GAP en rajoutant -L $(wims)/​workspace   * Changer la commande d'​exécution de GAP en rajoutant -L $(wims)/​workspace
  
installation/logiciels_particuliers.txt · Dernière modification: 10/07/2015 09:34 par obado