PrimTux

Distribution GNU/Linux légère pour l'école primaire.

Ce tutoriel apprend à installer PrimTux-Debian9, une distribution GNU/Linux pour les enfants de 3 à 10 ans, fruit du travail d'une équipe d'enseignants et non enseignants bénévoles, dans l'esprit de ASRI éducation.

Quelle est la configuration matérielle requise pour faire fonctionner PrimTux-Debian9 ?

Disposer d'un processeur de moins de 12 ans, 768 Mo de mémoire vive RAM, 10 Go d'espace sur le disque dur, créer une partition de swap d'1,5 fois la RAM;
Télécharger l'image ISO de 2.9 Go sur le site officiel ;
Vérifier le md5sum de cette ISO (taper md5sum nom_de_l'iso dans un terminal) ;
Graver cette ISO sur un DVD avec la fonction « graver une image » de votre logiciel de gravure ;
Ou bien installer l'ISO sur une clé USB avec Rufus depuis Windows, et depuis Linux, suivez le tutoriel ou utilisez Etcher.

Tester sans installation en mode Live

Avant de commencer l'installation, il peut être intéressant de visionner la rubrique de Léa sur l'installation de GNU/Linux en général.

Il est également conseillé de tester en mode live pour vérifier qu'il n'y a pas de problèmes de compatibilité.

Transférer l'ISO sur un DVD ou sur une clé USB

Pour installer PrimTux, vous pouvez graver l'ISO sur un DVD et démarrer l'ordinateur sur ce DVD. Il pourra être utilisé pour les tests en live et pour l'installation.

Pour transférer PrimTux sur une clé USB afin de la tester en Live, la plupart des logiciels sont compatibles.

Cependant, seuls quelques-uns sont adaptés pour réussir une installation sur disque dur à partir d'une clé USB. Le transfert sur clé usb pour installation n'est pas compatible UnetBootin.

Pour installer PrimTux depuis une clé USB, il faut utiliser soit:

Rufus ;
Etcher ;
suivre Récupérer, graver, copier, lancer une image ISO.

/!\ Une partition de la taille de l'ISO sera créée et les données présentes sur la clef seront effacées, vérifiez donc attentivement le contenu de votre clef avant d'y copier PrimTux. /!\

Voir aussi des infos sur le site de Debian ici.

Démarrer sur DVD ou USB en mode installation

Insérez le DVD (ou la clef USB, carte mémoire...) de PrimTux-Debian9 dans votre lecteur. Redémarrez votre ordinateur.

Si le BIOS est configuré pour booter en premier sur le lecteur de CD/DVD - c'est généralement le cas -, choisissez « Installer PrimTux sur votre ordinateur » depuis le menu d'accueil :

Choix du clavier

Chargement des composants d'installation

Choix du nom de la machine sur le réseau

Partitionner les disques

Dans l'exemple ci-dessous, il n'y a qu'un disque dur : la racine, le swap et grub sont configurés automatiquement.

Pour une installation avancée avec partitionnement manuel, on recommandera de s'entraîner sur une Virtualbox avant de se lancer, surtout pour le choix de la partition à utiliser, son formatage et son point de montage.