installation:debian:bugs
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:debian:bugs [10/09/2021 08:41] – obado | installation:debian:bugs [10/09/2021 09:17] (Version actuelle) – obado | ||
---|---|---|---|
Ligne 3: | Ligne 3: | ||
Si vous installez votre serveur WIMS sur **Debian**, il est possible que certains bugs surviennent. En voici quelques-uns et comment les résoudre : | Si vous installez votre serveur WIMS sur **Debian**, il est possible que certains bugs surviennent. En voici quelques-uns et comment les résoudre : | ||
- | === Gap === | + | ==== Gap ==== |
* Pour que GAP4 soit fonctionnel, | * Pour que GAP4 soit fonctionnel, | ||
<code bash>gap -T -m 64M</ | <code bash>gap -T -m 64M</ | ||
- | === Maxima === | + | ==== Maxima |
- | ==== 5.43.2 | + | === 5.43.2 === |
* Erreur au lancement de maxima (5.43.2) fourni par apt sur Ubuntu 20.04.2 | * Erreur au lancement de maxima (5.43.2) fourni par apt sur Ubuntu 20.04.2 | ||
Impossible de lancer maxima depuis WIMS. Solution temporaire : remplacer la commande par défaut par | Impossible de lancer maxima depuis WIMS. Solution temporaire : remplacer la commande par défaut par | ||
Ligne 15: | Ligne 15: | ||
(dans les " | (dans les " | ||
- | ==== 5.21.1 | + | === 5.21.1 === |
* Erreur au lancement de maxima (5.21.1) fourni par apt-get sur Debian Squeeze (6) | * Erreur au lancement de maxima (5.21.1) fourni par apt-get sur Debian Squeeze (6) | ||
installation/debian/bugs.1631263285.txt.gz · Dernière modification : 10/09/2021 08:41 de obado