Historique: NouveauxArrivants

This page should be translated into English.

• Pensez à renseigner l'Annuaire des membres de l'équipe
• Consultez aussi : http://web-int.lri.fr/doc/manuel_du_lri/HTML/manuel_du_lri.html

Comptes informatiques

• Ils sont créés par les ingénieurs système de STAFF (bâtiment PCRI), à qui il faut s'adresser ensuite par mailto:staff@lri.fr une fois le compte créé.
• Il y a plusieurs répertoires NFS (Total : 4To annoncé) : /users/tao/ et /users/tao-nosave. Votre "home dir" est sur /users/tao/. Tout le contenu de cette partitions bénéficie de copies de sauvegarde au moins une fois toutes les 4h. Pour accéder à ces copies de sauvegarde, il faut fouiller le répertoire .snapshot présent dans tous les répertoires de la partition. Vous y trouverez des sauvegardes horaires, nocturnes, journalières ou hebdomadaires pour des restaurations en cas de problème. La partition /users/tao-nosave n'est, elle, sauvegardée que toutes les semaines, mais moins sujette à l'asphyxie. Mettez-y vos fichiers qui ne changent pas souvent.
• Les machines de TAO sont (sauf exceptions historiques) sous Ubuntu installées par nos soins (voir Install Ubuntu). Elles utilisent les fichiers du LRI via NFS (voir ci-dessus). Sur chacune des machines de TAO, un membre de TAO au moins a les droits root - renseignez-vous.
• Wiki : vous y êtes ! Le même Wiki sert à la fois pour le site public dle TAO et pour les affaires privée, et l'accès est autorisé ou non suivant le groupe auquel vous appartenez. Si vous êtes ici, cc'est que vous êtes dans le groupe TAO par exemple.
• A la création du compte sur le serveur du lri, les 2 adresses login à lri.fr et Prénom.Nom@lri.fr sont activées. Vous pouvez utiliser n'importe quel client mail, et, de l'extérieur (ou de l'intérieur , le Webmail LRI. Il est possible aussi de forwarder les mails de cette boîte en créant un fichier .forward dans son répertoire home.
• Le détail du fonctionnement du réseau du LRI : http://web-int.lri.fr/doc/manuel_du_lri/introduction.fr.shtml
• Pour modifier son mot de passe au LRI, ne pas utiliser yppasswd.
• En tant que membre de TAO, vous faites partie (ou devriez faire partie) de la mailing list tao à lri.fr sur laquelle sont diffusées les annonces de séminaire, les actualités de l'équipe, ...

Services informatiques

• Pour calculer:
  • Il y a un cluster à l'INRIA-Alpes, avec une page web pour le présenter. Pour avoir un compte, il faut suivre une procédure à base de formulaire décrivant le projet. C'est un cluster d'Itanium 2 sous Red Hat Linux (jeu d'instruction IA-64, et non pas IA-32 comme les x86 classiques). Les binaires x86/Linux sont exécutés, mais en émulation, et c'est beaucoup plus lent que sur un x86 (facteur 4 ou 5 avec un Pentium 4 @ 2GHz). Il faut donc recompiler en code natif Itanium 2 pour des perfs décentes. Sur place, il y a le choix entre GCC et icc (le compilateur propriétaire d'Intel). Noter que la liste des logiciels installés n'est manifestement pas à jour, puisque je n'ai pas trouvé GCC 3.3.2 dans les /usr/local/. J'ajoute qu'on peut trouver GCC 3.3.2 quand même, en trichant : sur le front-end du cluster, il y a un répertoire avec ce qui semblent être des images des disques des nodes, mais archivées, pas courantes. Sur ces images, on trouve GCC 3.3.2, utilisable... À y repenser, je déconseille d'utiliser le i-Cluster2 à moins de savoir écrire du code pour IA64. Le même code qui compile tant pour IA32 que IA64 avec GCC, peut ne pas bien s'exécuter sur IA64...
  • Il y a un cluster de calcul au LRI. L'état du cluster, depuis l'intranet du LRI, est visible. Il s'agit d'un cluster de machines x86 sous Debian Linux, accessibles par ssh, nommées sim00 à sim92. S'ajoutent à celle-ci des machines équipées de Dual Core AMD Opteron(tm) Processor 265 appelées tipi00 à tipi33. Il n'y a pas d'outil "officiel" de soumission de batch. L'inscription à la liste de diffusion est automatique dès la première connexion à une machine du cluster. Pour les utiliser : http://serveur-6.lri.fr/wiki/wiki.php. "Ces machines sont des machines anciennes (plus de 5 ans) qui ne sont plus maintenues. Elles sont conservées en mode best-effort". Le cluster LRI est géré par Vincent Neri.
• Pour la gestion concurrente de données partagées sur un projet, il y a un serveur Subversion

Secrétariat

• Il y a à l'INRIA une assistante pour 2 ou 3 projets, qui doit être l'interface entre les chercheurs et l'administration en générale, celle de l'INRIA en articulier (budgets, missions, personnel rémunéré par l'INRIA, ...).
  • Marie-Carol est l'assistance des projets TAO, PROVAL et SELECT, 3 projets PCRI/INRIA localisés à l'Université de Paris Sud, TAO et PROVAL au LRI, SELECT au bâtiment 425 (Maths). En tant que membre de TAO, c'est à Marie-Carol qu'il faut s'adresser pour tout problème administratif, elle relaiera éventuellement vers le service LRI concerné si elle n'est pas directement habilitée, car ...
• Il y a au LRI un ensemble d'assistantes, qui sont au service de TOUT le LRI. Chacune a en charge une partie de la vie du laboratoire. L'ensemble de ces assistantes se trouve dans le couloir Nord en face du couloir principal de TAO.
  • En particulier, Geneviève Sabater est chargée du personnel, et cous l'avez sûrement rencontrée si vous avez rempli l'ensemble réglementaire de formulaires ad hoc le jour de votre arrivée.

Fiches de liaison, de renseignements

En plus de tout le reste, Geneviève Sabater vous demandera de compléter ces fiches qu'elle peut vous donner elle-même format papier et que vous pouvez aussi trouver en ligne (formulaire imprimable) http://www.lri.fr/~goasdoue/ADM/ qu'il faudra dans tous les cas lui rapporter afin de disposer du badge (entre autres).

Photocopieuse

Aile Nord RdC (Couloir administration LRI, Salle photocopieuse). Pour bénéficier d'un compte de photocopieuse, il suffit d'aller voir Brigitte Savigny (un peu plus loin dans le même couloir). Limite à 1000 copies, après il faut retourner voir Mme Savigny pour débloquer le compte.

Accès

• Pour accéder aux bureaux, il faut un badge magnétique, que l'on obtient auprès de Genevièce Sabater
• Le nom de la rue du bâtiment 490 est "rue du Doyen Joseph Peres".
• Plan de la faculté d'Orsay Plan du campus d'Orsay
• L'accès de nuit (après 20h) est possible à condition d'entrer le digicode (98650 en 2006)

Cantine

Pour manger à la cantine, il faut une carte. Pour avoir la carte, il faut un papier, qu'on donne à la dame la première fois qu'on va manger.
Ce papier vous parviendra par le biais d'une gentille dame qui se trouve dans le couloir administratif au RDC, bureau 4, PCRI, Bâtiment Sud (en passant par la passerelle, 1er escalier à gauche jusqu'à RDC puis droite); si vous êtes embauché par CNRS ou UPS.
Le papier vous parviendra par le biais de l'assistante, si vous ête embauché par l'INRIA.

Fournitures

• Pour des fournitures classiques (stylos, trombones, des agrafes, des craies, des crayons, cahiers etc..) et autres il faut s'adresser à l'assistante, qui fera le nécessaire ou directement demander à Jean-Pierre MERLIN, bureau 412, PCRI, Bâtiment Nord.

Bibliothèque

• Elle est au 2ème étage (fond du couloir à gauche), et on peut y accéder 7/7 jours 24/24 heure si on a le badge magnétique (lecteur sur le mur de gauche). Le catalogue est en ligne. Emprunt de livre en absence de la bibliothequaire : remplir la fiche du livre et la deposer sur le bureau. Les revues et proceedings doivent etre lu/photocopies sur place.

Qqs points spécialement pour les stagiaires

• pensez à demander des lettres de recommandation à votre entourage (permanents de l'équipe) avant de partir en fin de stage ; pensez à les demander dans la(les) langues qui vous seront utiles
• votre responsable de stage est votre ami n'hésitez pas à dire "je n'ai rien compris, on pourrait rediscuter depuis le début ?" ou "je comprends rien au code C++ qui est là, c'est grave docteur ?"

Imprimantes

Ci-après, la designation des imprimantes du LRI. Les caractéristiques et la localisation sont clairement indiquées:

Nouveau nom N/B	Nom couleur actuel	Ancien nom N/B	Localisation	Adresse IP
bw01	c01	p03	PCRI, bat sud, RdC centre	129.175.28.56
bw02	c02	p04	PCRI, bat nord, Cafeteria	129.175.24.50
bw03	c03	p01	PCRI, bat sud, RdC Ouest	129.175.28.51
bw11	c11	p11	PCRI, bat sud, 1er Ouest	129.175.28.53
bw13	c13	p13	PCRI, bat sud, 1er Est	129.175.28.55
bw14	c14	p14	Digiteo, 1er Est	129.175.4.25
bw22	c22	p21	PCRI, bat sud, 2ème Est	129.175.24.52
bw23	c23	p22	PCRI, bat sud, 2ème Ouest	129.175.24.49
bw24	c24	p24	Digiteo, 2ème Est ("la nôtre")	129.175.4.24
bw25	c25	p25	Digiteo, 2ème Ouest	129.175.4.26

Les noms désignant les copieurs comme imprimante N/B par défaut (pour CUPS) ont été modifiés afin d'obtenir une correspondance de numéro avec les noms désignant les copieurs comme imprimante couleur par défaut.
Les anciens noms restent valables comme alias DNS. Il n'y a rien à reconfigurer sur les postes clients.

A noter:

Les impressions lancées sur les copieurs Toshiba doivent être effectuées, sauf nécessité, en noir et blanc. Les impressions couleurs représentaient presque la moitié des impressions (Sept.13) et dépassent les quotas prévus par la location. Or une impression couleur coûte dix fois plus cher qu'une impression noir et blanc (une page avec un seul caractère couleur est considérée comme une impression couleur).

En utilisant le serveur CUPS du LRI (serveur-cups.lri.fr), vous imprimerez par défaut en recto-verso et N/B en mentionnant l'imprimante par son nom de préfixe 'p'.

Si vous ne passez pas par un serveur d'impression, configurez les imprimantes pour imprimer par défaut en N/B et R/V.

Documentation interne :
https://www.lri.fr/Support/Doc_techniques/manuelDuLri/index.php?id_p=11_impression
Pilotes des imprimantes Toshiba :
https://www.lri.fr/Support/index.php?id_p=utilitaires

Une salle répographie est mise à disposition au PCRI Bâtiment, Sud, 2 étage.
N'hésitez pas demander le code d'accès...

Accès Internet depuis l'extérieur

Voir la page Accès Internet depuis l'extérieur

Cas particuliers de la thèse au LRI

• GuideDuDoctorant

Sports

• Adhérez à l'association sportive : ASESCO.
• Il y a une piscine à moins de cinq minutes du laboratoire avec un bassin de 25 mètres intérieur et un autre de 50 mètres extérieur ouvert en été, n'oubliez pas votre carte étudiant pour payer moins cher (1,60 en hiver et 2,30 € en été en 2007). Il y a aussi deux créneaux horaires universitaires pour lesquels vous ne payez que l'adhésion (26 € en 2006) à l'ASESCO pour l'année.
• Pour courir, le meilleur chemin est celui le long de la rivière Yvette, signalé par deux bandes horizontales rouge et blanche, 10 km, il commence à l'extrémité Est de l'université et se finit à la gare de Courcelle-sur-Yvette.
• Il y a six terrains de tennis extérieurs sur l'université, pour les utiliser vous devez normalement adhérer à l'ASESCO et payer un supplément tennis. Voir la carte.
• Du côté des STAPS, au Nord-Ouest de l'université vous avez un terrain de foot et un de basket.
• Si vous montez jusqu'à Supelec sur le plateau vous avez un terrain de Beach Volley avec du sable fin, ainsi qu'un terrain de basket.
• Vous pouvez aussi pratiquer l'équitation dans l'université et la forêt environnante.