Différences

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

--- installation:debian:bugs [21/09/2017 09:44] – créée obado
+++ installation:debian:bugs [10/09/2021 09:17] (Version actuelle) – obado
@@ Ligne 1: / Ligne 1: @@
+===== Bugs Connus =====
+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 ====
       * Pour que GAP4 soit fonctionnel, retirez le ".sh" dans sa configuration sur WIMS (sous "Logiciels périphériques")
-  gap -T -m 64M
+<code bash>gap -T -m 64M</code>
+==== Maxima ====
+=== 5.43.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
+  /usr/lib/maxima/5.43.2/binary-gcl/maxima -eval '(cl-user::run)'
+(dans les "Logiciels périphériques" de l'administration WIMS)
-=== Maxima : ===
+=== 5.21.1 ===
       * Erreur au lancement de maxima (5.21.1) fourni par apt-get sur Debian Squeeze (6)
@@ Ligne 12: / Ligne 23: @@
 Procédure d'installation de Maxima sous Debian Squeeze :
+<code bash>
-  apt-get install clisp
+apt-get install clisp
-  wget http://sourceforge.net/projects/maxima/files/Maxima-source/5.28.0-source/maxima-5.28.0.tar.gz
+wget http://sourceforge.net/projects/maxima/files/Maxima-source/5.28.0-source/maxima-5.28.0.tar.gz
-  tar xzf maxima-5.28.0.tar.gz
+tar xzf maxima-5.28.0.tar.gz
-  cd maxima-5.28.0
+cd maxima-5.28.0
-  ./configure
+./configure
-  make
+make
-  make install
+make install
-  cd ..
+cd ..
-  rm -R maxima-5.28.0
+rm -R maxima-5.28.0
+</code>