Différences

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

--- installation:logiciels_particuliers [08/06/2015 16:24] – obado
+++ installation:logiciels_particuliers [10/07/2015 07:34] (Version actuelle) – [Pour accélérer l'utilisation de GAP] obado
@@ Ligne 1: / Ligne 1: @@
-====== Gap non reconnu par WIMS ======
+====== GAP non reconnu par WIMS ======
-Il peux y avoir plusieurs cas pour lesquels la communication entre WIMS et le logiciel Gap peux dysfonctionner. Selon votre cas, l'une et/ou l'autre des solutions ci-dessous devrait vous aider :
+Il peut y avoir plusieurs cas pour lesquels la communication entre WIMS et le logiciel GAP peut dysfonctionner. Selon votre cas, l'une et/ou l'autre des solutions ci-dessous devrait vous aider :
 =====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 21: / Ligne 21: @@
 ===== Pour accélérer l'utilisation de GAP=====
-Il arrive parfois que gap mettent 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 :
   * Lancer dans le répertoire $(wims) la commande
   echo 'SaveWorkspace("workspace");' | $adresse_gap.sh -q -r -R >/dev/null
   * Changer la commande d'exécution de GAP en rajoutant -L $(wims)/workspace