L’équipe de PrimTux annonce la sortie de PrimTux3 pour Raspberry Pi. Bâtie sur Raspbian Stretch, cette distribution GNU/Linux pour l’école primaire 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. Depuis PrimTux2 pour Raspberry Pi, 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, tierce, cibler, aller, imageo, ainsi que TBO, Openboard et Dr. Géo. La construction de cette PrimTux3 pour Raspberry Pi s’appuie sur les sources de PrimTux3 pour PC et, à la différence de cette dernière, inclut l’uniformisation des bureaux des quatre sessions ainsi que les fonds d’écran de Mothsart.
L’équipe PrimTux a également développé un outil permettant de faire une image disque de son système sur un périphérique externe. Cela permettra de le sauvegarder et de le réinstaller sur une autre carte mémoire en cas de défaillance, les cartes SD ayant une durée de vie limitée.
À é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 fichiers journaux (logs). Ces écritures se font dans la mémoire vive et l’écriture sur la carte SD n’intervient que toutes les heures.
Comme pour la PrimTux2 pour RPi, cette version ne permet pas d’installer les logiciels complémentaires, pour lesquels il reste encore le travail d’adaptation à effectuer. Pour les plus aguerris, il est possible de construire soi‐même une PrimTux3 pour sa Raspberry Pi grâce à un script.
Aller plus loin
- Sources de construction de PrimTux3 pour RaspBerry PI (204 clics)
- Tutoriel de construction (196 clics)
- Téléchargement (298 clics)
- Qu’est‐ce que PrimTux ? (512 clics)
- Logiciels Le Terrier dans la forge AbulEdu (160 clics)
- PrimTux pour RaspBerry Pi sur le forum PrimTux (136 clics)
# Compatible Pi Server ?
Posté par Nico7as . Évalué à 3.
Bonjour,
La distrib est-elle compatible avec Pi Server, disponible sur la version x86 de Raspbian, et qui permet de :
- Booter chaque RPi par ethernet à partir d'une image unique hébergée par le serveur.
- Disposer d'une session à partir du répertoire LDAP géré sur le serveur.
- Accéder aux espaces partagés du serveur ?
[^] # Re: Compatible Pi Server ?
Posté par mothsART . Évalué à 3.
On ne c'est pas penché sur la question et il n'y a pas encore eu de demande dans ce sens.
Comme mentionné dans l'annonce, cette distrib est bâtie sur la raspbian strech donc ça doit être disponible.
J'ai créé un sujet sur le forum : http://forum.primtux.fr/viewtopic.php?pid=13158#p13158
Si t'as déjà fait sur raspbian, je t'invites à partager de la doc à ce sujet : je testerais et si c'est concluant, je rajouterais un tuto dans le wiki de Primtux.
# lancement de l'install
Posté par jeromeL . Évalué à 0.
il est dit dans le tuto d'install que le script met plusieurs heures a effectuer l'install avnat de rendre la main.
dans ce cas, je pense que plusieurs utilisateurs seront confrontés a un pb de deconnexion de la session SSH qui interrompt en cascade le script en cours d'install.
peut etre faudrait il dans la doc lancer l'install avec un nohup avec d'eviter l'abort sur le script en cours d'install ?
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.