Je fais simplement quand à moi
– d’une manière ou d’une autre, aller dans le répertoire de wims en tant qu’utilisateur wims, disons
su wims
– wget https://sourcesup.renater.fr/frs/download.php/4636/wims-4.09c.tgz
tar xzf wims-4.09c.tgz
– bin/server-interrupt
pour laisser le temps aux jobs éventuels de se terminer
– killall maxima pari gap octave 2>/dev/null
pour tuer les zombies éventuellement
– ./compile –mathjax –jmol
(inutile de rajouter –swac à chaque fois si cela a déjà été fait).
les options se rajoutent.
Comme il est dit dans README qui se trouve à l’intérieur de wims, l’option
–modules ne doit être faite qu’à la première installation.
C’est tout. A moins que l’installation d’autres logiciels dans le système soit demandé par ailleurs (vérifier la liste dans le wiki, récemment, on a eu besoin
de libgd2). Les trois derniers scripts
./bin/setwrapexec
./bin/setwimsd
./bin/apache-config
peuvent être lancés ensuite comme root, mais je ne le fais pas à chaque fois.
L’installation ne touche absolument pas aux classes et aux espaces privés.
Bernadette