installation:logiciels_particuliers
Différences
Ci-dessous, les différences entre deux révisions de la page.
Prochaine révision | Révision précédente | ||
installation:logiciels_particuliers [08/04/2015 15:23] – créée obado | installation:logiciels_particuliers [10/07/2015 07:34] (Version actuelle) – [Pour accélérer l'utilisation de GAP] obado | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
- | ===Installation | + | ====== GAP non reconnu par WIMS ====== |
+ | |||
+ | 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' | ||
+ | |||
+ | =====Bug spécifique à Debian===== | ||
+ | Commencez par retirer le " | ||
+ | |||
+ | |||
+ | =====Gap non reconnu (wims < 4.09d)===== | ||
Si GAP n'est pas reconnu par WIMS, vous pouvez essayer ce qui suit | Si GAP n'est pas reconnu par WIMS, vous pouvez essayer ce qui suit | ||
(avant la version 4.09d de wims). | (avant la version 4.09d de wims). | ||
- | - Faire l' | + | * Faire l' |
- | - modifier le fichier gap.sh que l'on trouve par exemple dans gap4r5/ | + | |
en ajoutant dans l' | en ajoutant dans l' | ||
export HOME=/nodir | export HOME=/nodir | ||
- | - vérifier que la commande permettant l' | + | * vérifier que la commande permettant l' |
(interface administrateur -> Logiciels périphériques) | (interface administrateur -> Logiciels périphériques) | ||
- | === Pour accélérer l' | + | ===== Pour accélérer l' |
+ | 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 | ||
- | - Lancer dans le répertoire $(wims) la commande | ||
echo ' | echo ' | ||
- | - Changer la commande d' | + | |
+ | * Changer la commande d' | ||
installation/logiciels_particuliers.1428506587.txt.gz · Dernière modification : 08/04/2015 15:23 de obado