AdmOS : Un système d'exploitation Linux Debian sur clé USB

Pour les Mathématiques, les Sciences Numériques (SNT) et l'Informatique au collège et au lycée (NSI).

**Cette page a été adaptée d'après le dépôt des sources d'ADMOS **

AdmOS s'installe sur une clé USB ou dans VirtualBox ©

L'image USB vive AdmOS est un projet pour clé USB Live Debian 10 Cinnamon avec persistance d'après le dépôt original de Georges Khaznadar, réalisé depuis l'année 2019 à l'aide du paquet live-build de Raphaël Hertzog et Daniel Baumann. Ce dépôt contient le travail réalisé pour l'enseignement des mathématiques, des Sciences Numériques et Technologie (SNT) et de Numérique et Sciences informatiques (NSI) à l'ensemble scolaire Albert de Mun à Nogent-sur-Marne.

Chaque élève utilise sa clé personnelle Linux contenant son environnement de travail et ses documents

Choix de la clé USB

Le choix de la clé USB3 est crucial pour un fonctionnement correct d'AdmOS. Pour moins de 10 euros, de bons résultats sans latence ont été obtenus avec le modèle SanDisk Ultra USB 3.0 Flash Drive 16Go. Les clés USB bon marché ou optimisées pour le transfert de gros fichiers fonctionneront très lentement, voire pas du tout. Pour une rapidité optimale, préférer l'utilisation d'une carte MicroSD et d'un lecteur de carte microSD vers USB3, par exemple SanDisk MobileMate.

Il n'y a rien à installer : la clé contient déjà un grand nombre de logiciels comme Python3 et Apache

Création de la clé USB

1 - Télécharger le fichier admos-cinnamon-amd64.hybrid.iso depuis le site AdmOS. Si vous le pouvez, vérifier son intégrité à l'aide du fichier SHA256SUMS.

2 - "Graver" sur la clé USB le fichier ISO avec un logiciel de création de clé USB bootable comme Etcher, RosaImageWriter, Rufus, etc. Une simple copie du fichier ISO sur la clé ne fonctionnera pas.

Utilisation

Connecter la clé USB à un ordinateur puis le démarrer. Obtenir l'affichage du menu du périphérique de démarrage en appuyant sur la touche dédiée du clavier. Ce peut-être F12, F11 ou Esc ; ce processus est différent pour chaque constructeur ou modèle d'ordinateur. Une recherche sur Internet est parfois nécessaire pour connaître cette touche. Dans ce menu de démarrage, sélectionner la clé USB pour lancer le système d'exploitation vif. Si la clé USB n'apparait pas dans le menu, il faut généralement retirer l'option Secure Boot dans la configuration du BIOS, comme dans l'image ci-dessous.

Dans le BIOS de l'ordinateur, il faut en général enlever les options Secure Boot et Fast Boot

Persistance des données

Pour conserver les données sur la clé, il faut procéder selon la notice "Création de la partition de persistance" de la page Faire une clé vive Freeduc-jbart dont voici les étapes.

Une fois la clé avec l'ISO tout juste installée, la retirer et la remettre dans l'ordinateur. Dans une terminal, nous allons l'identifier, créer une 3e partition nommée 'persistence' et y déposer un fichier texte. Soyez prudent sur l'utilisation de fdisk et mkfs car toute erreur peut entraîner l'effacement total de votre système d'exploitation.

Déterminer le chemin de la clé USB. Ce chemin est de la forme /dev/sdX où X désigne une lettre minuscule (a, b, c, etc), à adapter à votre système de fichiers.

$ sudo fdisk -l
Disque /dev/sdX : 29,5 GiB, 31625052160 octets, 61767680 secteurs

Création d'une 3e partition puis formatage en ext4 avec le nom 'persistence'.

$ sudo fdisk /dev/sdX
n
p
3
Entrée+Entrée
w
q
$ sudo mkfs -t ext4 -L persistence /dev/sdX3

Les commandes utilisées sont n = new (nouvelle partition), p = primary (partition primaire), 3 = troisième partition, w = write (écrire), q = quit (quitter).

Dans la partition persistence de la clé, créer un fichier texte brut nommé persistence.conf, contenant une seule ligne "/ union" (sans les guillemets) MAIS avec un retour à la ligne.

Clonage de la clé avec persistance

Une fois une clé prête avec sa persistance, elle peut être clonée avec sa persistance (remise à zéro) à l'aide du logiciel 'Freeduc Live Clone' fourni. Cette méthode est pratique pour fabriquer rapidement des clés pour l'ensemble des élèves de la classe.

Utilisation sans clé USB

Le système d'exploitation vif AdmOS peut-être utilisé sans clé USB, dans une machine virtuelle comme VirtualBox. Il faudra régler l'affichage avec l'accélération 3D. Pour la persistance des données, ajouter le disque SATA fourni dans l'archive persistence.zip

Principaux logiciels pré-installés

Versions