installation:logiciels_particuliers
Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
installation:logiciels_particuliers [14/06/2015 06:00] – [Pour accélérer l'utilisation de GAP] bernadette | installation: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 " | + | Commencez par retirer le " |
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 ' | echo ' | ||
+ | |||
* Changer la commande d' | * Changer la commande d' | ||
installation/logiciels_particuliers.1434261633.txt.gz · Dernière modification : 14/06/2015 06:00 de bernadette