Debian 12 – Gap et M2

Vous lisez 3 fils de discussion
  • Auteur
    Messages
    • #7927
      Avatar photoPascal Denis
      Participant
      Up
      0
      Down
      ::

      Bonjour à tous,

      je viens de demander une mise à jour à notre DSI pour passer de debian 11 à debian 12 (pour avoir accès à gcc-12.2).Presque tout marche correctement (en gardant les mêmes paramètres d’administration), sauf que Wims ne reconnait plus gap et M2.  Ils sont bien présents dans /usr/bin/gap et /usr/bin/M2.

      wims@webwims ~ % /usr/bin/gap
      *********   GAP 4.12.1 of 2022-10-2wims@webwims ~ %

      /usr/bin/M2
      Macaulay2, version 1.21

      Avez-vous une idée ?

      N.B. j’ai eu le même souci avec gap pour une mise à jour sous Mac (Ventura) Gap est bien installer, accessible en shell mais plus dans wims. 

      • Ce sujet a été modifié le il y a 7 mois et 2 semaines par Avatar photoPascal Denis.
    • #7930
      eric
      Participant
      Up
      0
      Down
      ::

      Je découvre le même problème sur notre nouveau serveur wims à Caen (bientôt en production). Avec gap 4.12.1.

      Dans directexec, on voit que 1+1 renvoie

      [0m[031m2

      Il faut donc qu’on dise à wims de virer ces codes d’échappement.

       

    • #7932
      eric
      Participant
      Up
      0
      Down
      ::

      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).

    • #7988
      Avatar photoPascal Denis
      Participant
      Up
      0
      Down
      ::

      Procédure validée pour gap sur notre serveur debian 12.

      M2 ne fonctionne toujours pas,

      – présent dans /usr/bin

      – lien symbolique de m2 vers M2 (au cas ou …)

      – fonctionnel (version 1.22 )  en ligne de commande

      – chemin d’accès est aussi OK dans « questions techniques »

       

      Bien qu’il ne soit pas très utilisé, je préfère avoir un serveur complet.  Avez-vous réussi de votre côté ?

Vous lisez 3 fils de discussion
  • Vous devez être connecté pour répondre à ce sujet.