Après connexion sur les machines des salles de TME (Travaux sur
Machines encadrés), la commande à lancer, dans la
fenêtre
xterm, est
drscheme.
La première fois, la commande vous demandera
votre nom, prénom, numéro de carte d'étudiant, numéro de section,
numéro de groupe et mél éventuel (si vous désirez recevoir une copie
des fichiers que vous produisez sur ordinateur en TME). Si vous êtes
en binôme, complétez le formulaire avec les mêmes informations
concernant votre binôme.
Si vous vous apercevez que vous vous êtes trompés dans les réponses
aux questions précédentes, vous pouvez tout annuler avec
Ctrl C, vous recommencerez alors du début.
Si dans quelques
semaines, vous changez de binôme ou de mél, vous pourrez changer ces
informations avec la commande
drscheme -r. Un simple
retour-chariot permettra alors de conserver la valeur précédemment
acquise: vous n'avez donc à écrire que ce qui change.
La commande
drscheme, sans option, lance en même temps un navigateur
(cette année
konqueror) pointant sur le site des DEUG
(aussi accessible depuis Internet). Mettez-vous dans la fenêtre de ce
navigateur et, dans la barre de menu du haut, faites
Signets/Ajouter un signet afin de retrouver facilement cette page
par la suite.
Voici la documentation que l'on obtient avec l'option
-h.
$ drscheme -h
[DrScheme pour MIAS $Revision: 1.34 $]
La commande drscheme peut être utilisée sans option: elle lance DrScheme
et un navigateur. Si c'est la première fois, elle vous demandera un
certain nombre de renseignements concernant votre binôme (ou monôme ou
trinôme).
La commande drscheme suivie de l'option -r permet de modifier l'identification
du binôme (ou monôme ou trinôme).
La commande drscheme suivie de l'option -s permet de ne lancer que drscheme
sans navigateur supplémentaire. C'est utile lorsque l'on a dû tuer DrScheme
pour une raison ou une autre et qu'on souhaite le relancer sans relancer
le navigateur associé.
La commande drscheme suivie de l'option -n permet de ne lancer que le
navigateur sans DrScheme. C'est utile lorsqu'on a tué par inadvertance
le navigateur et qu'on souhaite le relancer sans quitter DrScheme.
La commande drscheme suivie de l'option -h produit ce message.
La commande drscheme suivie d'un nom de fichiers relance DrScheme en lui
demandant d'ouvrir ce fichier.
Pour résumer, il suffit d'écrire
drscheme dans presque
tous les cas.
Lancer DrScheme en salles de TME