Table des matières

Gestion d'un site

Quel genre de machine faut-il pour installer WIMS ?

Le serveur et l'ensemble du système tourne sur un PC sous Linux. La mémoire est assez sollicitée par les logiciels, la fiabilité du ou des disques est à prendre en compte si vous hébergez des classes.

Pour une utilisation locale, le CD bootable KNOWIMS évite l'installation, même un PC windows convient.

Quels sont les logiciels indispensables à installer (et à quoi servent-ils) ?

PARI/GP, gnuplot et Maxima sont très utilisés dans la distribution. Octave est utilisé pour quelques fonctions de statistiques. Yacas l'est pour les exercices du type deductio. Mupad n'est plus utilisé.

J'ai installé tous les logiciels dont Maxima, mais la calculette de fonctions ne marche pas.

Il peut en effet y avoir un problème dû à un bogue dans Maxima ou ses bibliothèques. A ma connaissance, il peut y avoir besoin de relancer le serveur Apache au démarrage. C'est en tout cas ce que je constate sur mon installation de macosx.

Je n'arrive pas à installer tous les logiciels demandés.

Si vous êtes sous Linux, utilisez le package wims-chroot. Plus d'infos sur wims-chroot ici : http://wimsedu.info/?p=320

Vous trouverez les documentations sur l'installation de Wims ici : Installation de WIMS

A la compilation de WIMS, j'obtiens un message d'erreur m'indiquant l'incapacité d'utiliser la commande ''mf''.

Si vous avez bien installé TeX, essayez de rajouter le lien symbolique ln -s /usr/bin/mf-nowin /usr/bin/mf.

Je n'arrive pas à trouver la page de ''Maintenance en ligne''.

1. Aller sur le serveur dans wims/log (corrigez le chemin de départ si vous n'avez pas installé sur /var/wims).

2. Ouvrir le fichier wims.conf avec un éditeur (ou créer un fichier sous ce nom s'il n'existe pas).

3. Ajouter la ligne suivante :

 
manager_site=mon poste de connexion

Ici vous devez remplacer mon poste de connexion par le numéro IP du poste à partir duquel vous vous connectez sur le serveur. Dans le cas d'un serveur local, cela peut être 127.0.0.1

4. Sauver le fichier wims.conf puis aller voir la page d'entrée de WIMS (il faut parfois réactualiser la page).

Vous devez voir le lien WIMS gestion du site en ligne dans la page d'accueil.

Remarque. Pour raison de sécurité, vous ne devez pas faire la gestion en ligne à partir d'un numéro IP dynamique.

Puis-je mettre un mot de passe permanent pour la gestion du serveur ?

Oui, l'écrire simplement dans le fichier wims/log/.wimspass. Si cela ne marche pas, vérifier que ce fichier appartient bien à wims en faisant ls -al .wimspass (à partir du dossier log).

J'obtiens le message ''WIMS panick! cannot-create-session-directory'' à la connexion.

Vérifiez que le disque n'est pas plein. Il est peut-être sage de faire une partition pour les logs, qui risquent de saturer le serveur.

Dois-je compiler WIMS comme ''root'' ?

Il faut absolument compiler WIMS comme utilisateur wims. A la fin de l'installation, le mot de passe root est demandé. Si vous ne l'avez pas, un script changeant les autorisations de fichiers sensibles ne peut pas s'exécuter. Cela n'empêche pas WIMS de fonctionner et vous pourrez exécuter ce script plus tard.

Qu'est-ce que le package ''wims-chroot' ?

Le package wims-chroot contient toutes les applications utilisées par WIMS (PARI/GP, Maxima, gnuplot…). Son installation, qui est très facile, permet donc d'éviter d'avoir à installer ces logiciels. De plus, il offre un niveau de sécurité accru. En effet si votre serveur WIMS est destiné à être un serveur public, ce package qui contient toutes les commandes système ( rm, ls,…) utilisés par WIMS, permet à WIMS de s'exécuter sans faire appel à des commandes situées en dehors du dossier /var/wims/. Dans l'hypothèse peu probable où quelqu'un réussit à s'introduire dans votre système par le biais du serveur WIMS, il ne pourra pas accéder à la totalité de votre système mais uniquement au répertoire contenant WIMS. Imaginons, hypothèse apocalyptique, qu'un utilisateur mal intentionné réussisse à lancer la commande rm /* , il ne parviendra à effacer que le dossier /var/wims/chroot/ et non la totalité des fichiers présents sur votre serveur.

Seuls, les systèmes PC-Linux sont concernées.

J'ai lancé ''compile'' en tant qu'utilisateur wims, mais le mot de passe root demandé à la fin a été refusé.

Le mot de passe root est demandé pour pouvoir configurer apache. Si cela n'a pas fonctionné, une fois la compilation terminée, passez en root et exécutez le script bin/wrapuid

Je suis gestionnaire d'un site. Comment puis-je tester le bon fonctionnement des logiciels de calcul nécessaires ?

Vous pouvez mettre votre serveur sous un mode debogging. Pour cela, dans la page de Maintenance en ligne, cliquer sur technical topics, puis activer le mode debogging. Faites une requête à une page nécessitant un de ces logiciels. Vous verrez apparaître en bas de cette page un numéro de session. Cherchez alors dans le répertoire $wims_home/tmp/sessions/numero-de-la-session les détails des exécutions.

Les développeurs me demandent de pouvoir insérer leurs exercices en développement dans Modtool dans leur feuilles d'exercices. Que faire ?

Allez dans WIMS gestion du site en ligne, puis dans Configuration of miscellaneous. Mettez le choix de Access policy for modules under development sur open.

Un collègue a perdu son mot de passe d'une classe. Y a-t-il un moyen en tant qu'administrateur de le retrouver ou d'en générer un autre ?

Allez dans l'outil de gestion du site, puis cliquer sur Check/maintain virtual classes, puis modify.

Comment puis-je mettre un document qui est dans une classe sur un site en local.

Pour le système de publication, …. Parlons ici du côté un peu technique. Le format des documents créés dans une classe est un peu différent de celui des documents qui sont dans public_html/modules/…. Il faut donc faire une traduction qui est bien sûr automatique mais demande quand même quelques manipulations qui ne peuvent être faites que par le gestionnaire d'un site.

  1. Copier public_html/modules/template/doc.fr

dans public_html/modules/local/ par exemple ou dans votre compte de modtool de développeur en le renommant public_html/modules/local/doctoto.fr.

- Copier le dossier de votre document, par exemple c1 dans public_html/modules/local/doctoto.fr/doc en le renommant public_html/modules/local/doctoto.fr/doc/1

- se placer dans public_html/modules/local/doctoto.fr/doc et lancer le script src2def. Ce script se trouve dans wims/other/bin, il est donc recommandé de mettre cette adresse dans le path.

Comment puis-je faire la mise à jour des modules et de manière automatique ?

Aller dans l'outil de gestion du site WIMS, puis cliquer sur Modules management. Il y a un lien pour Click here to configure daily automatic module update. et configurez comme vous le désirez. Ensuite, vous n'avez plus besoin de vous en occuper. Ainsi, si vous le désirez, les nouveaux modules seront installés automatiquement toutes les nuits.

Un utilisateur a un problème que je n'arrive pas à reproduire. Que puis-je faire ?

La réponse s'adresse uniquement aux gestionnaires de site.

Tout dépend ensuite du problème. Vous devez faire ces opérations en synchronisation avec l'utilisateur car les dossiers de session ont une durée de vie limitée.

Je voudrais créer une classe dont les ressources sont librement accessibles à toutes les autres classes.

Créez votre classe. Vous devez ensuite aller sur le serveur et créer dans cette classe un fichier appelé neighbors et contenant les lignes suivantes :

n_sup=all
n_part=all
sharable_exo=yes
sharable_sheet=yes
sharable_exam=yes
sharable_doc=yes
sharable_forum=
sharable_user=
sharable_motd=
sharable_all=

Ou mettre sharable_all=yes ou adapter à ce que vous désirez.

Les équations ne s'affichent pas sur mon serveur ?

Le serveur WIMS peut etre configuré soit en “mode image” soit en “mathml”.