Sans doutes le Raspberry Pi est un excellent mini ordinateur de poche par défaut, qui même s'il a de la concurrence, vous trouvez généralement toutes sortes de systèmes d'exploitation pour ce petit appareil.
Pour cette occasion Nous parlerons de PrimTux qui est une distribution éducative de GNU / Linux développée par une petite équipe d'enseignants et les amateurs d'informatique scolaire.
Parler un peu des systèmes axés sur l'environnement éducatif est rare ici sur le blog, car peu de développeurs ont l'intention de guider un système à des fins éducatives. Bien qu'il y ait tout dans Linux, honnêtement les distributions de ce type sont peu nombreuses.
PrimTux est tout à fait utilisable dans les ordinateurs à la pointe de la technologie, il est destiné à recycler les vieux équipements pour les utiliser dans les écoles ou simplement pour que les familles renouvellent les principaux ordinateurs à domicile.
Fonctionnalités PrimTux
Il intègre des outils de contrôle parental pour protéger la navigation des enfants sur le Web.
En ce sens, puisque cette solution permet de s'équiper à moindre coût, l'équipe PrimTux a le plaisir d'annoncer la sortie de la version 4 de PrimTux pour Raspberry Pi.
Concernant les versions pour PC, les versions de PrimTux pour Raspberry Pi sont renommées en raison d'une standardisation des interfaces.
À propos de la nouvelle version de PrimTux
Récemment la version de PrimTux pour Raspberry Pi, a reçu une nouvelle mise à jour dans laquelle la grande nouveauté est l'intégration de la plupart des logiciels complémentaires qui peuvent désormais être installés car ils ont été portés directement sur Raspberry Pi ou en raison de leurs divergences libres (fourches), comme PhotoFlare pour remplacer PhotoFiltre.
Ils peuvent installer n'importe quel plug-in ou simplement l'environnement ou les outils de leur choix. Pour un choix plus précis, vous pouvez utiliser le programme d'installation du package Synaptic ou le gestionnaire de logiciels.
Logiciel complémentaire
Simplement En mettant à jour les packages de distribution, des logiciels supplémentaires deviennent accessibles aux versions déjà installées de PrimTux3 RPi.
L'installation de plugins nécessite beaucoup d'espace disque. Si vous avez l'intention d'installer la totalité ou la plupart des modules complémentaires, vous devez utiliser une carte mémoire de plus de 16 Go.
- Limitations par rapport aux versions PC:
- calcul @ TICE n'est pas intégré, mais les entrées de menu ont été conservées car l'équipe, en partenariat avec le développeur, travaille pour essayer de porter dans ARM.
- Le logiciel clicmenu ne peut pas être intégré: il s'agit en fait de dizaines de logiciels dispersés et indépendants, développés pour Windows, avec des polices inaccessibles; cependant, l'équipe prévoit de développer des équivalents dans les technologies multiplateformes.
- Ardora ne fonctionne que sur les versions RPi3B +.
Comme pour le PrimTux3 RPi, il est possible de créer sa propre distribution avec des scripts:
Le script installe-primtux3-rpi.sh a été mis à jour pour obtenir un Primtux4-Debian9-DG;
Le fichier installe-primtux4-rpi. sh fournit un Primtux4-Debian9-CTP.
La construction de l'image peut être effectuée sur une carte mémoire de 16 Go.
Étant donné que les tailles réelles ne sont pas identiques d'un fabricant à l'autre, la partition a été réduite de 100 Mo afin que l'image puisse être copiée sur toutes les cartes mémoire.
Si vous souhaitez récupérer ces quelques Mo, ou si vous utilisez une carte mémoire de plus de 16 Go, vous devriez envisager d'augmenter la taille de la partition avec l'utilitaire raspi-config inclus:
Pour pouvoir exécuter cette commande dans le terminal, vous devez taper:
sudo raspi-config
Dans l'interface textuelle qui apparaît, allez sur la ligne »Options avancées» et cliquez sur «Développer le système de fichiers».
Télécharger PrimTux3 RPi
Vous pouvez obtenir cette nouvelle version de PrimTux3 RPi pour les deux ordinateurs de bureau, ainsi que les processeurs ARM qui sont utilisés dans le Raspberry Pi.
Vous pouvez aller sur le site officiel de la distribution et dans sa section de téléchargement, vous pouvez obtenir le lien pour télécharger l'image du système pour votre appareil.
Cette image du système peut être enregistrée à l'aide d'Etcher avec lequel vous pouvez créer une clé USB amorçable et enregistrer le système sur les cartes SD du Raspberry pi.
Le lien vers la page est le suivant.