Pour toute question concernant l'infrastructure Linux à l'UFR, vous pouvez directement contacter Pierre Letouzey.

L'UFR propose trois salles de TP sous Linux : 2003, 2031 et 2032. Ces salles contiennent une soixantaine de PC en tout, utilisant le système Debian. En plus des PC, voici ci-dessous une liste des serveurs également disponibles.

Note: toutes ces machines proposent les mêmes comptes utilisateurs (login, password, fichiers personnels communs à toute l'UFR).

Attention: l'accès distant ssh à ces machines se fait uniquement par clé publique/privée, et non par mot-de-passe unix (voir la page Connection distante).

Voir également la page Logiciels sous Linux pour plus de détails concernant les logiciels proposés sur ces machines.

Le serveur lulu est le nouveau serveur de calcul Linux, disponible depuis 2018. Il propose exactement les mêmes programmes que les PC des salles de TP. Vous pouvez l'utiliser si vous êtes à distance ou en cas de besoin en calcul longue durée. C'est une machine fortement multicoeur avec beaucoup de RAM. Néanmoins merci d'avoir un usage raisonnable de ces ressources.

Attention !: ce serveur lulu est uniquement sur le réseau interne UFR. Pour s'y connecter depuis l'extérieur, effectuer un “rebond” ssh via le serveur nivose, qui lui est accessible de partout. Avec un ssh moderne, ceci peut se faire très simplement en une seule étape:

ssh lulu -J nivose.informatique.univ-paris-diderot.fr

Evidemment, si votre login à l'ufr n'est pas le même que votre login de départ (chez vous), il faudra l'indiquer:

ssh MonLoginUfr@lulu -J MonLoginUfr@nivose.informatique.univ-paris-diderot.fr

Pour éviter de taper ce genre de commande à chaque fois, vous pouvez ajouter les lignes suivantes une fois pour toute dans votre ~/.ssh/config (en remplaçant les deux MonLoginUfr par ce qu'il faut):

Host lulu.ext
ProxyJump MonLoginUfr@nivose.informatique.univ-paris-diderot.fr
HostName lulu
User MonLoginUfr

Maintenant un simple ssh lulu.ext mènera à lulu via nivose.

Les autres serveurs Linux à l'UFR sont à accès restreint, ou en fin de vie.

• Serveur lucien (alias bouchon sur le réseau interne UFR) : serveur de pilotage de l'infrastructure linux (salles de TP et lulu), à accès restreint aux administrateurs.

• Serveur lucy (alias lucette sur le réseau interne UFR) : ancien serveur de pilotage de l'infrastructure linux, en cours d'arrêt. Son rôle de point d'accès ssh depuis l'extérieur est maintenant assuré par nivose (voir plus haut).

• Serveur lampe : ancien serveur web pédagogique, maintenant arrêté.