Configuration de l'image

Configuration du système du Raspberry Pi 400

Plusieurs systèmes d’exploitation peuvent être installés sur un Raspberry Pi. S’il existe une version de Windows 10 qui tourne sur un RPI, elle est vraiment dédiée aux développeurs et non à un usage bureautique classique. Il faudra donc se tourner vers des distribution Linux adaptées au processeur ARM présent sur les RPI. Certaines distributions sont dédiées au rétrogaming ou à des médiacenter ce qui n’est pas le sujet ici. Voici la liste des principales distributions utilisables dans le cadre scolaire :

Raspberry Pi OS, Ubuntu, Manjaro, Gentoo, DietPi, Fedora et CentOS.

Mais alors comment choisir la meilleure distribution ?

Il n’y a pas de réponse simple à cette question car plusieurs paramètres sont à prendre en compte.

  • La taille et le dynamisme de la communauté qui développe et contribue à la distribution. Plus cette communauté importante, plus il y a de chance que la distribution soit stable, que les bugs soient rapidement corrigés, que de nouvelles fonctionnalités soient rapidement développées et que la distribution soit utilisable rapidement dès qu’un nouveau modèle de RPI est commercialisé
  • La consommation de ressource : certaines distributions sont « plus lourdes » et consomment davantage de ressources matériel (RAM ou processeur) pour afficher le bureau et les fenêtres. Le RPI n’a pas de grosses ressources matériel et il vaut mieux veiller à ce que le système installé ne soit pas trop gourmand pour laisser de la ressource aux applications
  • Le paramétrage du bureau : dans le cadre scolaire, il faut pouvoir masquer certains menus et certaines zones aux utilisateurs standards. Toutes les distributions ne le permettent pas ou bien pas simplement
  • Dans un environnement scolaire, l’annuaire des utilisateurs est souvent porté par un serveur Windows. Certains services utilisent le processus d’authentification SSO pour ne pas demander à l’utilisateur de s’authentifier deux fois (ex : pare-feu Stormshield). En fonction des services mis en place, toutes les distributions ne permettront pas de bénéficier de ces services.
  • Le catalogue applicatif : c’est le nerf de la guerre pour l’utilisateur final. Il doit pouvoir retrouver ses logiciels favoris dans une version récente (consulter le catalogue applicatif pour plus d’infos)
  • L’environnement graphique par lui-même : certains environnements sont plus modernes, plus flexibles, plus beaux…les goûts et les couleurs !

Les deux distributions qui ont retenu notre attention à travers tous ces critères sont Raspberry Pi OS et Ubuntu. Ceci peut naturellement évoluer au cour du temps.

Étapes de préparation de l'image
  • Choix de l'OS
  • Installation de l'OS
  • Mise à jour de l'OS
  • Optimisation (couper les services inutiles, WiFi, Bluetooth, GPIO...)
  • Installation des applications
  • Configurer les menus pour donner l’accès à toutes les applications
  • Configurer l’association fichier/logiciel à utiliser
  • Configurer chaque application si besoin (langues, dossier par défaut, carte son…)
  • Mettre un temps raisonnable de mise en veille (30 minutes environ)
  • Supprimer d’éventuel écrans de veille « psychédéliques »
  • Configurer le navigateur pour la gestion des cookies, mots de passe etc…
  • S’assurer que tous ces réglages s’appliquent au profil utilisateur par défaut
  • « Intégration au domaine » pour l’authentification sur le serveur
  • Scripter le montage des éventuels lecteurs réseau pour accéder aux espace personnels et partagés sur le serveur
  • Installation du script permettant le SSO avec le pare-feu Stormshield
  • Mise en place des restrictions pour les utilisateurs standards
  • Paramétrage des sorties HDMI pour avoir le même affichage sur l’écran du bureau que sur le vidéoprojecteur
Pour envisager des déploiements en masse, il est possible d’automatiser :
  • L’intégration au domaine et le montage des lecteurs réseau
  • Le paramétrage automatique des sortie HDMI en fonctions des résolutions disponibles à la fois sur l’écran et sur le vidéoprojecteur

Pour éviter la saturation des cartes SD et dans le cas d’une utilisation avec un serveur, il faut prévoir une tâche automatisée qui nettoie les espaces de stockage locaux (bureau, Mes documents…) mais pas les profils. Les utilisateurs doivent bien sûr en être informés.