Différences

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

--- installation:debian:manual [11/03/2024 22:56] – lmarquez
+++ installation:debian:manual [14/07/2025 15:30] (Version actuelle) – marina.cazzola
@@ Ligne 108: / Ligne 108: @@
   read+write* = /home/wims/tmp/sessions
 </code>
+=== Gap ===
+See: https://wimsedu.info/forums/topic/debian-12-gap-et-m2/#post-7932
+Il semble que le problème vienne de la colorisation dans les nouvelles versions de gap. gap envoie des codes de changement de couleur avant d’envoyer la réponse, et ces codes ne sont pas attendus par wims.
+Sur un serveur pour lequel gap ne sert qu’à wims, on peut enlever cette colorisation en créant un fichier gap.ini  contenant l’unique ligne suivante :
+SetUserPreference( « UseColorPrompt », false );
+Ce fichier est à mettre dans le répertoire racine de gap, qu’on peut connaître en tapant sous gap la commande
+GAPInfo.RootPaths;
+Il renvoie parfois plusieurs répertoires, chez moi seul /usr/lib/gap/ convient (dommage car il serait plus propre d’utiliser un répertoire racine de gap dans le répertoire de l’utilisateur wims pour ne pas perturber la colorisation chez les autres utilisateurs de gap).
 === Autres logiciels tiers : ===