L'ENS dispose d'un réseau Unix. Nous n'allons pas détailler ici le fonctionnement de ce réseau, mais simplement la manière de s'y connecter sous Windows. Pour des détails sur le fonctionnement du réseau Unix de l'Ecole, voir le site des tuteurs Unix.
Ce tutoriel explique comment configurer le logiciel Putty qui va vous permettre de vous connecter sur votre compte Unix fournit par l'ENS.
1) Téléchargez le logiciel Putty depuis la page
http://www.chiark.greenend.org.uk/~sgtatham/putty/download.html
Le fichier a télécharger se nomme putty.exe. Il n'y a pas d'installation, placez donc directement le fichier à endroit qui vous semble logique et lancez Putty.
2) Configurez le menu Session de Putty comme sur l'écran ci-dessous : il faut ajouter le nom du serveur de l'Ecole et ne pas oublier de cocher l'option SSH. Si cette option n'est pas cochée, votre connection au serveur de l'ENS ne sera pas sécurisée.
3) Configurez le menu Terminal de Putty comme sur l'écran ci-dessous : il faut cocher la case Use background colour to erase screen. Cette option permet un meilleur affichage pour certains programmes.
Pour gagner du temps la prochaine fois que vous essayerez de vous connecter, nous vous conseillons de sauvegarder cette configuration en cliquant sur "Save" dans le menu Session.
4) Cliquez sur Open. On vous demande votre login et votre mot de passe. Vous êtes maintenant connecté au serveur de l'ENS.
Attention: On ne quitte pas Putty en cliquant sur la croix en haut à droite de la fenêtre de Putty. Il faut taper exit sous Putty et faire Entrée.
Putty fonctionne par défaut en mode texte noir et blanc. Il est cependant possible d'avoir des couleurs sous Putty (très pratique pour profiter des applications qui font usage de la couleur, comme Emacs par exemple). Pour cela il faut configurer le menu Connection de Putty comme ci-dessous.
Mettre xterm-color dans la case Terminal-type string. Accessoirement, il est possible de mettre votre login ENS dans Auto-login username ce qui vous évitera d'avoir à taper votre login à chaque connection.
Afin de ne pas avoir à reconfigurer Putty à chaque démarrage, nous vous conseillons de sauvegarder maintenant votre configuration à partir du menu Session avant de lancer la connection (bouton Open).