C’est nickel !
J’ai pu noter aussi sous debian 9.4 la nécessite de remplacer pour gap :
gap.sh -T -m 64M par gap tout simplement pour être reconnu dans l’interface de gestion
Oui en effet, c’est un bug déja expliqué ici :
https://wiki.wimsedu.info/doku.php?id=installation:debian:bugs
(normalement il faut juste retirer le « .sh », on peut conserver le « -T -m 64M »)
Olivier Bado-Faustin / Université Côte d’Azur