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édentesRévision précédente
Prochaine révision
Révision précédente
installation:logiciels_particuliers [14/06/2015 06:00] – [Pour accélérer l'utilisation de GAP] bernadetteinstallation:logiciels_particuliers [10/07/2015 07:34] (Version actuelle) – [Pour accélérer l'utilisation de GAP] obado
Ligne 4: Ligne 4:
  
 =====Bug spécifique à Debian===== =====Bug spécifique à Debian=====
-Commencez par retirer le ".sh" dans la ligne de commande de gap configurée dans WIMS (interface administrateur -> Logiciels périphériques)+Commencez par retirer le ".sh" dans la ligne de commande de GAP configurée dans WIMS (interface administrateur -> Logiciels périphériques)
  
  
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.1434261633.txt.gz · Dernière modification : 14/06/2015 06:00 de bernadette