La distribution éducative pour débutants et initiés.

Vous n'êtes pas identifié(e).

Annonce

Les différentes isos de PrimTux4 sont disponibles, cliquez ici pour choisir votre version.

  • Pour être automatiquement informé des réponses à vos messages sur le forum, n'oubliez pas de cliquer sur "Suivre cette discussion" en bas de page. Mieux, en vous abonnant au flux RSS du forum, vous pourrez suivre tout nouveau message sur l'ensemble du forum.
  • En allant dans votre Profil, ligne "Vie privée", vous pouvez également cocher "Suivre automatiquement les sujets auxquels on a répondu.", vous n'aurez plus à cliquer sur "Suivre cette discussion" lorsque vous postez un message.
  • Carte des membres pouvant aider et des écoles sous PrimTux, merci de nous envoyer un email si vous souhaitez y apparaître.
  • Abonnez-vous à la newsletter sur le site principal pour être informé des nouveaux paquets, nouvelles versions, bugs...

#1 07-07-2018 08:12:06

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 402
Site Web

PrimTux3 pour Raspberry Pi disponible

Une PrimTux3 pour Raspberry Pi est disponible au téléchargement sur Sourceforge :
https://sourceforge.net/projects/primtu … z/download
Somme MD5: DD39D6BC42508CE33BA2415AC6410E34

Bâtie sur Raspbian Stretch, elle 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 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

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. 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ées de vie limitée.

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.

Pour les plus aguerris, il est possible de construire soi-même une PrimTux3 pour sa Raspberry Pi grâce à un script. Toutes les explications et les détails dans ce tutoriel : http://forum.primtux.fr/viewtopic.php?id=1264

Merci de faire vos retours dans ce fil de discussion : http://forum.primtux.fr/viewtopic.php?pid=12592#p12592

Hors ligne

#2 07-07-2018 11:29:12

ideefixe
Modérateur
Lieu : Bourges
Inscription : 04-06-2015
Messages : 2 822

Re : PrimTux3 pour Raspberry Pi disponible

Bonjour Philippe, veux-tu éditer le lien de téléchargement https://sourceforge.net/projects/primtu … z/download

Hors ligne

#3 07-07-2018 13:06:31

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 402
Site Web

Re : PrimTux3 pour Raspberry Pi disponible

Corrigé, merci !

Hors ligne

#4 07-07-2018 20:09:13

mhep
Modérateur
Inscription : 23-07-2016
Messages : 547

Re : PrimTux3 pour Raspberry Pi disponible

Salut Philippe,

un visiteur des RMLL viendra demain a-m à l'atelier Primtux pour mettre Primtux sur son Rasberry. Si on rencontre un pb, est-ce que tu pourrais nous aider par le forum ?

Hors ligne

#5 07-07-2018 21:03:27

mothsart
Modérateur
Inscription : 31-10-2016
Messages : 609

Re : PrimTux3 pour Raspberry Pi disponible

C'est pas l'idéal le forum, non ? de la messagerie instantanée serait sans doute mieux.

Sinon, je serais là demain avec 2 Pi et les sd correspondantes. SI jamais (ce qui m'étonnerais) on ne venait pas à bout de l'install : il sera toujours possible de faire une copie bit à bit avec gparted.

Hors ligne

#6 07-07-2018 21:51:54

Philippe Dpt35
Modérateur
Lieu : Ille-et-Vilaine
Inscription : 28-10-2015
Messages : 2 402
Site Web

Re : PrimTux3 pour Raspberry Pi disponible

Je ne serai pas là demain après-midi, et ne pourrai donc aider de quelque manière que ce soit. Les jours suivants, en revanche, ça ne devrait pas poser de problème.

Mais comme mothsart sera là, je ne suis pas inquiet. Il connaît bien le Raspberry Pi et saura résoudre les problèmes éventuels !   wink
Prévoyez l'installation d'Etcher sur au moins un PC, et un fichier image de la version pour RPi. Ainsi il vous sera aisé de créer des systèmes sur carte SD pour les visiteurs qui le souhaiteront.

IMPORTANT: le système est bâti sur une carte SD de 16 Go, et la partition a été réduite de 300 Mo pour assurer la compatibilité avec toutes les cartes de cette taille, la taille disponible pouvant varier d'une carte à une autre.

Aussi il conviendra d'effectuer une extension de la partition à la taille de la carte avec raspi-config une fois le système installé, d'autant plus avec des cartes de taille supérieure à 16 Go

Hors ligne

Pied de page des forums