Foire aux questions

Gestion de site

  1. Quel genre de machine faut-il pour installer WIMS ? 
  2. Quels sont les logiciels indispensables à installer (et à quoi servent-ils) ? 
  3. J'ai installé tous les logiciels dont Maxima, mais la calculette de fonctions ne marche pas. 
  4. Je n'arrive pas à installer tous les logiciels demandés. 
  5. A la compilation de WIMS, j'obtiens un message d'erreur m'indiquant l'incapacité d'utiliser la commande mf. 
  6. Je n'arrive pas à trouver la page de Maintenance en ligne.  
  7. Puis-je mettre un mot de passe permanent pour la gestion du serveur ?  
  8. J'obtiens le message WIMS panick! cannot-create-session-directory à la connexion. 
  9. Dois-je compiler WIMS comme root ? 
  10. Qu'est-ce que le package wims-chroot-i386-3.42.tgz ?  
  11. J'ai lancé compile en tant qu'utilisateur wims, mais le mot de passe root demandé à la fin a été refusé.  
  12. Je suis gestionnaire d'un site. Comment puis-je tester le bon fonctionnement des logiciels de calcul nécessaires ?  
  13. Les développeurs me demandent de pouvoir insérer leurs exercices en développement dans Modtool dans leur feuilles d'exercices. Que faire ?  
  14. 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 ? 
  15. Comment puis-je mettre un document qui est dans une classe sur un site en local.  
  16. Comment puis-je faire la mise à jour des modules et de manière automatique ?  
  17. Un utilisateur a un problème que je n'arrive pas à reproduire. Que puis-je faire ?  
  18. Je voudrais créer une classe dont les ressources sont librement accessibles à toutes les autres classes.  

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

upQuels 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é.

upJ'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.

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

Si vous êtes sous PC-Linux, utilisez le package wims-chroot-i386-3.42.tgz.

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

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

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

upJ'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.

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

upQu'est-ce que le package wims-chroot-i386-3.42.tgz ?

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.

upJ'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

upJe 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 /home/wims/tmp/sessions/numero-de-la-session les détails des exécutions.

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

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

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

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

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

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


Cette page n'est pas dans son apparence habituelle parce que WIMS n'a pas pu reconnaître votre navigateur de web.

Pour accéder aux services de WIMS, vous avez besoin d'un navigateur qui connait les formes. Afin de tester le navigateur que vous utilisez, veuillez taper le mot wims ici : puis appuyez sur ``Entrer''.

Veuillez noter que les pages WIMS sont générées interactivement; elles ne sont pas des fichiers HTML ordinaires. Elles doivent être utilisées interactivement EN LIGNE. Il est inutile pour vous de les ramasser par un programme robot.

Description: une foire aux questions sur wims. interactive exercises, online calculators and plotters, mathematical recreation and games

Keywords: interactive mathematics, interactive math, server side interactivity, nice sophia antipolis university, documentation, help, faq, help, aide