Le wiki de WIMS EDU

L'association WIMS EDU a ouvert ce wiki afin de favoriser les collaborations entre utilisateurs de WIMS.

Outils pour utilisateurs

Outils du site


installation:debian:bugs

Différences

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

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
installation:debian:bugs [10/09/2021 08:41] obadoinstallation: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, retirez le ".sh" dans sa configuration sur WIMS (sous "Logiciels périphériques")       * Pour que GAP4 soit fonctionnel, retirez le ".sh" dans sa configuration sur WIMS (sous "Logiciels périphériques")
  
 <code bash>gap -T -m 64M</code> <code bash>gap -T -m 64M</code>
  
-=== 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 "Logiciels périphériques" de l'administration WIMS) (dans les "Logiciels périphériques" de l'administration WIMS)
  
-==== 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