PrimTux est développée par une petite équipe de professeurs des écoles et de passionnés de l’informatique dans le milieu éducatif. Par sa légèreté, elle a vocation à REVALORISER un matériel obsolescent en l’orientant vers le milieu scolaire ou éducatif.
Merci aux auteurs des différents articles, Jean-Marie et Philippe, qui ont autorisé leur synthèse et la publication sur framboise314. Vous retrouverez les liens en fin de page, dans la rubrique Sources.
PrimTux une distribution à but éducatif
PrimTux : d’abord une association
PrimTux, c’est aussi une association loi 1901, vous souhaitez la soutenir, devenir membre? Cliquez ici!
PrimTux est développée par une petite équipe de professeurs des écoles et de passionnés de l’informatique dans le milieu éducatif.
Dans l’esprit d’ASRI-EDUCATION, mais elle peut tout à fait être installée sur du matériel récent, notamment grâce à ses versions 64 bits.
Cette vidéo vous présente rapidement la distribution.
PrimTux : Principales caractéristiques
-
Une distribution éducative complète et personnalisable.
-
Fonctionne en live (sans installation, à partir d’un DVD ou d’une clé usb), et peut aussi être installée sur un disque dur.
- Consommation mémoire limitée (inférieure à 200 Mo au démarrage) .
- Lanceur d’applications intuitif intégré (handymenu version 3).
- Logithèque de base très fournie.
- Riche logithèque éducative.
-
Multi-utilisateurs avec environnements adaptés:mini (cycle 1 ou 3-5 ans)super (cycle 2 ou 6-7 ans)maxi (cycle 3 ou 8-10 ans)prof ou parent
PrimTux, une distribution éducative, disponible sur Raspberry Pi
PrimTux est une distribution éducative libre et gratuite. Bien qu’elle soit tout à fait utilisable sur des PC derniers cris, cette distribution a vocation à recycler du matériel ancien pour le destiner aux établissements scolaires, établissements éducatifs divers, ou simplement aux familles renouvelant le PC principal de la maison.
Cette distribution intègre par défaut des outils de protection parentale permettant de protéger la navigation des enfants sur Internet. Rappelons qu’aucune protection n’est totalement infaillible et que la vigilance des adultes responsables ou parents reste nécessaire…
L’adaptation de PrimTux sur Raspberry Pi
Dans cet esprit, parce que cette solution permet de s’équiper à moindre coût, l’équipe de PrimTux a tout naturellement pensé à porter sa distribution sur Raspberry Pi.
La dernière version, PrimTux3, bâtie sur Raspbian Stretch, est compatible avec le dernier modèle de Raspberry Pi, le 3B+, ce qui n’était pas le cas de Raspbian Jessie sur laquelle est bâtie la PrimTux2.
Les améliorations de PrimTux 3
Depuis la PrimTux 2, de nombreuses améliorations ont été apportées. Plusieurs applications ont été compilées pour ARM par l’équipe PrimTux et sont maintenant présentes dans la distribution :
- Le terrier suite arithmétique
- Le terrier tierce
- Le terrier cibler
- Le terrier aller
- Le terrier imageo
- TBO
- Openboard
- Dr Geo
- Quelques rares applications, dont les sources sont devenues introuvables, ne peuvent être intégrées.
Créer une image disque du système installé
L’équipe a également développé pour cette distribution un outil permettant de faire une image disque de son système sur un périphérique externe.
La distribution Raspbian dispose de base d’un outil proche, piclone. Mais celui-ci ne permet que le clone de carte SD, pas de copie du système dans un fichier.
Nous vous conseillons de faire une copie une fois l’installation du système terminée.
Cela vous permettra de préparer d’autres cartes pour d’autres Raspberry Pi ou de faire une sauvegarde, car la durée de vie des cartes SD est moindre que celle d’un disque dur.
Log2ram
A également été inclus l’outil log2ram qui permet de préserver la durée de vie de la carte SD en limitant les écritures des logs (fichiers journaux). Ces écritures se font dans la mémoire vive et l’écriture sur la carte SD n’intervient que toutes les heures.
Ajouter les logiciels complémentaires à PrimTux
Il manquait à la PrimTux RPi la possibilité d’ajouter, comme sur la version pour PC, une multitude de logiciels complémentaires classés par tranche d’âge, ainsi que quelques utilitaires. Ces logiciels complémentaires sont des logiciels qui ne peuvent être placés dans la version de base soit parce qu’ils ne sont pas libre au sens strict (notamment parce qu’ils ne sont pas autorisés pour un usage commercial), soit afin de limiter la taille de l’image de base.
L’équipe travaille depuis plusieurs mois au portage de ces applications sur Raspberry Pi en les compilant elle-même lorsqu’elle disposait des sources, ou en contactant les développeurs afin de leur demander s’ils accepteraient de les porter sur cette plateforme.
Le travail a maintenant bien avancé et la plus grande partie de ces applications sera bientôt disponible, sans doute à l’occasion de la sortie de la version 4 de PrimTux, aux alentours de la Toussaints 2018. Bonne nouvelle : il ne sera pas indispensable de passer à cette nouvelle version pour en profiter, les détenteurs des anciennes versions de PrimTux RPi y auront également accès par une simple mise à jour.
Construire soi-même PrimTux3 avec un script
Pour les aficionados de la Framboise, l’équipe a mis à disposition un script permettant de construire soi-même une PrimTux3 pour sa Raspberry Pi. Les sources de ce script sont accessibles sur Framagit.
Pour PrimTux4, l’équipe a prévu la mise à disposition d’une solution de même type.
La construction d’une PrimTux sur Raspberry Pi peut maintenant se faire très facilement grâce à un script qui automatise les opérations depuis les sources de la distribution. Cette construction se fait à partir d’une Raspbian lite Stretch.
Si vous désirez construire votre PrimTux Raspberry plutôt que d’en télécharger l’image, voici comment faire.
Télécharger Raspbian Lite
Nous devons commencer par installer la distribution Raspbian. Vous la téléchargerez depuis le site officiel en choisissant la version lite stretch. Cette version correspond à une distribution minimale sans interface graphique.
Installation sur la carte microSD
Nous l’installons sur une carte mémoire micro SD en suivant les procédures habituelles pour l’installation d’une distribution sur Raspberry Pi:
- à l’aide du logiciel Win32 Disk Imager si vous êtes sous Windows ;
- à l’aide de la commande dd si vous êtes sous Linux.
Il existe maintenant une application multi plateformes, Etcher, permettant de simplifier l’opération quel que soit son système d’exploitation. Je ne l’ai personnellement pas encore testée. (Note de framboise314 : pour les débutants, Etcher a l’avantage de n’autoriser l’écriture QUE sur une carte SD, évitant les erreurs qui seraient dramatiques, comme l’écriture sur le disque système).
Démarrage du système d’exploitation
Notre image de Raspbian lite gravée, nous l’insérons dans notre Raspberry Pi que nous démarrons. Nous aurons besoin d’une connexion Ethernet stable et de bonne qualité, car tout se fait par Internet.
Nous nous connectons avec le login et le mot de passe paramétrés par défaut pour Raspbian:
pi raspberry
Mais attention ! Nous sommes avec un clavier anglo-saxon dont les touches ne correspondent pas à notre clavier AZERTY. Nous devons donc en réalité saisir
rqspberry
Une fois connectés, nous configurons le Raspberry avec l’outil intégré raspi-config. Comme nous sommes avec un clavier anglo-saxon, nous saisissons en réalité
sudo rqspi)config
Vous pouvez aussi utiliser le tiret – situé en haut à droite du pavé numérique au lieu de la touche )
Nous arrivons sur une interface en mode texte qui nous permet de définir plusieurs paramètres pour notre système.
Configuration de Raspbian
Nous allons prioritairement effectuer les paramétrages de localisation. Dans le menu qui s’affiche, sélectionnons la 4ème ligne, “Localisation options“. Ceci nous ouvre un second menu dans lequel nous allons définir, tour à tour :
-
Dans “Change locale“, la langue utilisée par le système. Par exemple pour le français de France, nous sélectionnerons fr_FR.UTF-8.
-
Dans “Change Timezone“, le fuseau horaire.
-
Dans “Change Keyboard Layout“, le type de clavier à utiliser. Pour l’image téléchargeable de PrimTux3 pour Raspberry Pi, c’est un clavier français 105 touches, avec touche AltGr droite qui est paramétré. Ce paramétrage est essentiel pour permettre la saisie correcte des commandes avec notre clavier.
-
Dans “Change WiFi Country“, le pays pour le WiFi.
Activation du compte root
Ceci fait nous allons maintenant activer le compte root en lui attribuant un mot de passe:
sudo passwd root
Le mot de passe nous est demandé, puis sa confirmation. Je vous invite à saisir tuxprof comme mot de passe, car c’est celui proposé par défaut dans PrimTux. Vous pourrez toujours le changer par la suite.
Nous redémarrons
sudo reboot
et nous nous connectons cette fois sous le compte root :
root tuxprof
Les sudo ne seront désormais plus nécessaires puisque nous somme sur le compte du super-utilisateur.
Téléchargement du script d’installation de PrimTux
Nous téléchargeons maintenant le script d’installation en saisissant
wget https://www.primtux.fr/Documentation/armhf/install-primtux3-rpi.sh
Le script sera régulièrement mis à jour en fonction des évolutions de PrimTux, garantissant ainsi la construction de la toute dernière version. Nous le rendons exécutable par
chmod +x install-primtux3-rpi.sh
Installation de PrimTux avec le script
et enfin nous le lançons par
./install-primtux3-rpi.sh
Et voilà ! C’est terminé en ce qui nous concerne, car maintenant c’est le Raspberry qui va travailler tout seul. Soyez patient, car l’opération nécessite plusieurs heures, et dépend de la qualité de votre liaison Internet. Chez moi, avec une liaison ADSL classique, il faut 3 à 4 heures sur un RPi 3.
En fin d’opération nous retrouvons l’invite de commande du compte root :
root@raspberrypi:~#
Le script nous indique le chemin du fichier .log des erreurs rencontrées.
Lançons alors un
reboot
et si tout s’est bien passé, nous devrions nous retrouver avec l’écran d’accueil de PrimTux.
Que fait le script d’installation ?
Des coupures Internet durant l’exécution du script peuvent faire échouer l’installation de paquets ou de fichiers essentiels. Si la construction a échoué, il est possible de relancer le script après s’être connecté en root. Si vous n’avez plus la main en raison d’une interface graphique défaillante, appuyez simultanément sur Ctrl + Alt + F1, ce qui devrait vous permettre de retrouver une console permettant de relancer l’opération.
Pour les curieux ou les développeurs, voici le descriptif du script.
- Définition des variables contenant les liens vers les sources et les fichiers complémentaires de configuration nécessaires à la version Raspberry Pi ;
- définition des variables contenant les paquets à installer, par thème.
Et si PrimTux évolue ?
Un ordinateur “maison” monté dans un bidon ? Oui, c’est possible !
En cas d’évolution de PrimTux, ce sont essentiellement ces variables qui devront être modifiées en conséquence.
- mise en place d’une redirection d’erreurs vers un fichier .log ;
- installation des paquets ;
- application de quelques correctifs nécessaires, notamment pour le WiFi ;
- téléchargement des sources, décompression, et copie des fichiers sur le système ;
- application des scripts de paramétrage de la distribution ;
- récupération des fichiers de configuration spécifiques pour le RPi, et copie sur le système ;
- le fichier des erreurs est nettoyé pour effacer les centaines de lignes inutiles concernant les problèmes de réception.
Conclusion
Ce premier article sur PrimTux vous permettra de découvrir cette distribution et de commencer à l’utiliser sur un Raspberry Pi 3 ou 3B+.
Encore merci aux auteurs qui ont publié les différents articles. Ils ont permis de rédiger l’article que vous venez de lire, et si vous voulez en savoir plus sur cette distribution éducative qui est en train de s’implanter dans le milieu scolaire, ne manquez pas de visiter les liens présents dans la rubrique Sources, ci-dessous.
Un article sur PrimTux offert par “L’officiel PC – Raspberry Pi” aux lecteurs de framboise314
Cliquez pour lire l’article
Merci à Benoit d’ID-Presse qui nous offre cet article sur PrimTux, paru dans le numpéro 6 de “L’officiel PC – Raspberry Pi”. Il concerne PrimTux 2 mais présente bien les possibilités offertes par cette distribution.
Le prochain numéro de “L’officiel PC – Raspberry Pi” sort début octobre 2018 et contient une microfiche annonçant la sortie de PrimTux 3 !!
Si vous voulez savoir où trouver la revue près de chez vous, cliquez sur le localisateur, saisissez votre code postal et… c’est tout 
Sources
- https://wiki.primtux.fr/doku.php/framboise314
- https://framagit.org/philippe-dpt35/primtux3-rpi/wikis/Tutoriel-de-construction-de-primTux3-sur-Raspberry-Pi
- Le localisateur de la revue “L’officiel PC -Raspbreey Pi” : https://tinyurl.com/y7uvvs44
- https://www.framboise314.fr/wp-content/uploads/2018/09/OPC06_10_15_Primtux.pdf
- Photos de classes : https://carto.framasoft.org/node/138/
Cet article PrimTux sur Raspberry Pi, une distribution éducative de 3 à 10 ans a été publié en premier sur Framboise 314, le Raspberry Pi à la sauce française.....