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édente | |||
installation:logiciels_particuliers [14/06/2015 06:01] – [Bug spécifique à Debian] bernadette | installation: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 ' | echo ' | ||
+ | |||
* Changer la commande d' | * Changer la commande d' | ||
installation/logiciels_particuliers.txt · Dernière modification : 10/07/2015 07:34 de obado