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

Vous êtes ici : Le wiki de WIMS EDU » Installation de WIMS » GAP non reconnu par WIMS
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
installation:logiciels_particuliers [14/06/2015 06:01] – [Bug spécifique à Debian] bernadetteinstallation:logiciels_particuliers [10/07/2015 07:34] (Version actuelle) – [Pour accélérer l'utilisation de GAP] obado
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 : de obado