Mise à jour des serveurs

Bonjour,

Le projet Debian vient de publier une mise à jour corrective pour sa distribution Linux : Debian Stretch.

Les serveurs vont se mettre à jour dans la nuit du samedi 14 juillet au dimanche 15 juillet.

Ils seront redémarrés pour appliquer les changements, dimanche 15 juillet à partir de 9h00.

Durant l’opération, les ressources informatiques seront indisponibles pendant 2 à 3 minutes.

Merci de votre compréhension.

Bonne fin de journée.

Le CCRI.

Mise à jour : dimanche 15 juillet 2018 – 22h43

Le rapport de bug est accessible ici.

Mise à jour : dimanche 15 juillet 2018 – 12h21

Un rapport de bug vient d’être envoyé au projet Debian

Mise à jour : dimanche 15 juillet 2018 – 10h30

Les serveurs de virtualisation rencontrent des problèmes avec la dernière version du kernel Linux.

La situation est temporairement résolue, en démarrant sur l’ancien kernel.

Un rapport de bug sera envoyé au projet Debian.

Désolé pour la gêne occasionnée.