[Primtux] Installation de Primtux 9
Aide-mémoire pour l'installation de Primtux 9 sur un PC ou un ordinateur portable (il s'agit d'une petite mise à jour de [Primtux] Installation de Primtux 8).
Je décris ici une installation "type" (selon mes critères 😉) de la version Primtux 9 bâtie à partir de Linux Mint 22.3 destinée à des machines ayant plus de 2 Go de mémoire vive (4 Go recommandé) et datant d'au moins 2010. Il s'agit de la version à privilégier à moins de disposer d'une machine poussive (moins de 2 Go de mémoire vive) pour laquelle la version i386 sera plus adaptée.
Site officiel de Primtux : https://primtux.fr.
Primtux, comme le bon vin, s'améliore d'année en année : catalogue d'application plus riche (en synergie avec le site Primaire de la Forge : https://primaire.forge.apps.education.fr/), PrimtuxMenu, etc. Un grand coup de chapeau à toute l'équipe de Stéphane Deudon.
On trouve toute la documentation utile sur le site https://documentation.primtux.fr : aussi bien pour l'installation par les administrateur⋅rices qu'un volet pédagogique pour l'exploitation en classe.
Pour la partie spécifique aux installations : https://documentation.primtux.fr/books/manuel-de-ladministrateur/chapter/installer-primtux
À noter : depuis Primtux 8, les noms des 4 comptes ont changé. Ainsi, l'ancien compte "administrateur" est devenu le compte "poe".
I. Récupération de Primtux et installation "basique" :
A- Clé USB de démarrage (clé de boot)
On récupère la version de Primtux qui nous intéresse sur le site principal : https://primtux.fr/telecharger-primtux/.
On copie l'iso téléchargée sur sa clé usb de démarrage (Easy2Boot ou Ventoy) : en général, c'est bien d'avoir les 2 car selon les ordinateurs, une marche mieux que l'autre. On vérifie bien l'intégrité de cette copie de l'iso avec le MD5SUM (impératif pour éviter des déconvenues !!!). Attention une clé Easy2Boot est assez ardue à préparer (il est même possible d'y intégrer Ventoy), par contre j'ai constaté qu'en général Easy2Boot marchait mieux (c'est utile si on a beaucoup d'installations à faire).
Attention pour certains ordinateurs verrouillés par les fabriquants comme loRdi région en Occitanie, on devra utiliser ReFind qu'il faudra installer sur une clé dédiée !!!
B- Installation
On démarre (boote) l'ordinateur sur la clé usb en appuyant sur les touches de démarrage (elles dépendent des ordinateurs mais souvent il s'agit des touches "F12", "Esc", "F1", "F2", "F8", "F9", ...). Si ça ne fonctionne pas, il faudra aller trafiquer dans le BIOS pour désactiver le "Secure Boot" ou autres options de démarrage (mais ce n'est pas l'objet de cette page). Une fois qu'on a démarré sur la clé USB, on installe en suivant les instructions qui s'affichent à l'écran. Pour ma part, je choisis toujours le clavier "Français occitan" pour disposer des majuscules accentuées et avec cédille ainsi que les voyelles accentuées de l'occitan.
C- Mise à jour du système
→ Indispensable pour disposer des dernières versions de paquets et corrections avec les commandes suivantes dans cet ordre :
sudo apt update
sudo apt upgrade
KDE Connect pour interagir entre son ordinateur et son ordiphone
Utilisant quotidiennement personnellement et professionnellement un ordinateur sous GNU/Linux et plus précisemment Linux Mint 22.3 (basée sur Ubuntu 24.04), je peux avoir besoin d'échanger des données avec mon ordiphone Xiaomi Mi 10 Lite 5G sous Android 11 ou de piloter mon ordinateur en me servant de l'ordiphone comme télécommande (par exemple pour faire défiler un diaporama lors d'une conférence). C'est là qu'intervient l'application KDE Connect qui est un incontournable pour ce genre de manipulations.
Ressources utiles :
- Page en français présentant de façon approfondie KDE Connect : https://userbase.kde.org/KDEConnect/fr
- Page officielle de KDE Connect : https://kdeconnect.kde.org/
- KDE Connect sur F-Droid : https://f-droid.org/fr/packages/org.kde.kdeconnect_tp/
Possibilités offertes par ce logiciel :
- partage de fichiers dans les 2 sens,
- partage de presse-papier dans les 2 sens,
- consultation et envoi de SMS à partir de l'ordinateur,
- pilotage à distance de son ordinateur à partir de son téléphone ainsi que contrôles multimédia et télécommande de présentation pour un diaporama,
- mise en sourdine des applications de l'ordinateur lors d'un appel entrant (comme lorsqu'on est connecté en bluetooth dans sa voiture),
- etc.
I- Installation de KDE Connect
L'installation sur les différents appareils se fait de façon classique.
- Sur son ordinateur (Debian et dérivés Ubuntu, Linux Mint,...), taper dans un terminal (mais on peut passer par la logithèque également) :
sudo apt install kdeconnect - Sur son ordiphone, en passant par F-Droid (ou le store de Google...), rechercher "KDE Connect" et l'installer.
II- Connexion avec ou sans réseau wifi environnant
IMPÉRATIF : Pour échanger, les 2 appareils doivent se trouver sur le même réseau Wifi ou Bluetooth !
Si les 2 appareils sont connectés sur le même réseau wifi, en général (sauf règles de proxy bloquantes) il n'y a aucun problème.
Mais comment faire lorsqu'il n'y a pas de réseau wifi ou lorsque le réseau wifi n'est pas "sûr" ? Et bien, ça peut également fonctionner en utilisant le partage de connexion de l'ordiphone. Et l'ordiphone n'a même pas besoin d'être connecté à Internet !
Et cela fonctionne également en faisant un partage de connexion Bluetooth !!! L'avantage est que si on a du mal à fonctionner en wifi, on pourra passer en Bluetooth ou vice-versa.
A- Procédure idéale (sans aucun problème) :
Extraire des données d'un fichier JSON vers un fichier Markdown
Dernièrement, j'ai voulu récupérer le texte contenu dans un fichier .json issu de Polymny Studio : il s'agissait des textes de chaque diapositive utilisés pour l'enregistrement audio des commentaires à l'aide du prompteur intégré.
Pour obtenir le fichier .json dans Polymny Studio, à partir de la page principale, il faut cliquer sur l'icône "Exporter la capsule" qui nous donne l'ensemble du contenu sous forme de fichier .zip à extraire. Ce zip contient un fichier intitulé "structure.json" :

Pour "parser" ce fichier, sous GNU/Linux il est nécessaire d'utiliser le programme "jq". Plus d'info sur l'utilisation de la commande jq ici : https://blog.stephane-robert.info/docs/admin-serveurs/linux/jq/
Pour obtenir le texte de chaque diapositive (slide) de notre capsule vidéo issue de Polymny Studio dans un fichier Markdown, dans un terminal, on va taper cette commande shell :
jq -r '[.structure[].slides[].prompt] | to_entries[] | "## PAGE \(.key+1)\n\n\(.value)\n" ' structure.json > sous-titres.md
Voici ce que donne le fichier Markdown obtenu "sous-titre.md" dans CodiMD (mais aussi dans LibreOffice à partir de la version 26.2 de février 2026) :
Remarque : on aurait pu également obtenir un fichier au format .txt en mettant comme nom de fichier "sous-titres.txt" au lieu de "sous-titres.md".
[Freecad] Infos utiles
Pour modéliser des objets, créer des plans en 3D, j'utilise le logiciel libre de CAO Freecad. Je recense sur cette page différentes infos pour m'y référer par la suite (on oublie vite les choses quand ça fait un moment qu'on ne s'en sert pas).
A) Importer un fichier .STL pour le travailler dans Freecad
Souvent, on a des objets pour l'impression 3D (notamment sur le site Thingiverse) et on souhaiterait les adapter à nos besoins, les étudier, les mesurer... Moyennant quelques manipulations, on va pouvoir les récupérer pour les retravailler dans Freecad.
Fabriquer des ressorts
Afin de réparer une barette dont le ressort avait cassé, je me suis penché sur la fabrication de ressorts. Et bien, ce n'est pas aussi facile qu'il n'y paraît 😉. En anglais, ressort se dit "spring".
Source intéressante : https://www.ressorts-sodemann.fr/faq
Quel type de ressort ?
Il existe différents types de ressort :
- Ressort de torsion : ceux qu'on trouve dans les barettes, les pinces à linge.
- Ressort de compression : ceux qu'on trouve dans les stylos billes
- Ressort de traction : ceux qu'on trouve dans les cadres de sommier
Dans les exemples ci-dessous, on parlera de ressort de torsion.
[Ubuntu] Mise à niveau de mon portable ASUS Vivobook Pro N705UD vers Ubuntu 20.04 Mate
J'ai profité de ces vacances de Noël pour mettre à niveau mon portable ASUS Vivobook Pro N705UD sous Ubuntu 18.04 (voir cet article où je détaillais l'installation) vers Ubuntu 20.04 Mate édition.
J'avais tout le matériel depuis fin octobre 2020 mais je n'ai pas eu le temps, l'envie de le faire avant car c'est toujours un moment prise de tête et stressant avec repartitionnement, récupération et réinstallation des données et applications. J'avoue qu'avec l'âge, je n'ai plus trop envie de m'embêter à tester et passer du temps à configurer de nouveaux outils : je me rends compte que je veux juste un système qui fonctionne sans perdre de temps à le configurer.
Je me suis appuyé sur les conseils toujours judicieux de Sébastien Sauvage via son wiki pour tester la version Mate (que je recommandais à des utilisateur⋅rice⋅s voulant passer de Windows à GNU/Linux vers la version Linux Mint).
I- Changement du disque dur SSD de 500 Go vers un disque de SSD de 1 To
À migrer et tout ré-installer, j'ai changé le disque dur SSD d'origine de 500 Go sur lequel était installé Ubuntu 18.04 pour un disque Western Digital - WD Blue SSD - SSD interne 1To M.2 SATA 3D NAND . Afin de récupérer les données de l'ancien SSD, j'ai aussi acheté un boîtier externe SSD M.2 SATA de marque ELUTENG.
Par contre, pour le coup ASUS est en dessous de tout pour changer le disque dur SSD car il est nécessaire de démonter complètement le portable pour extraire la carte mère ! Attention aux connecteurs des nappes car toutes les fixations ne fonctionnent pas de la même façon (risque de casse si on force trop). Voir cette vidéo pour voir comment faire : https://invidious.fdn.fr/watch?v=LzTqUFS8TYE
[Ubuntu] Diffuser la musique d'un ordinateur vers une chaîne Hi-Fi
Applications et matériel que j'utilise pour la gestion de mes morceaux de musique :
- Ampli Hi-Fi TV-Audio Yamaha RX-V677.
- NAS Syno 713+ avec l'application DS Audio fournit par Synology et avec un dossier contenant l'ensemble de mes fichiers audio.
Pour récupérer automatiquement les paroles des chansons (y compris celles au format .flac), il faut installer un "plugin" fujirou qui utilise le site genius.com téléchargeable ici : https://github.com/franklai/synologylyric (ça fonctionne en 2026 avec ma vieille version DSM 7.1). L'autre solution originelle basée sur lyrics.wikia.com ne fonctionne plus. - Mes fichiers audios ont été extraits au format FLAC à partir de mes CD (très souvent acquis d'occasion à moins de 5€) grâce au
logiciel K3b. K3b ne fonctionnant pas correctement sous Linux Mint 22.3, j'ai opté pour Asunder qui fonctionne très bien et est plus léger. - Pour la gestion des étiquettes concernant les morceaux de musique, j'utilise EasyTAG qui est très pratique et accessible via le menu contextuel (clic droit) sur les dossiers et fichiers.
- L'application Clementine est très confortable (notamment pour vérifier si les tags sont bons) et accède à mon NAS pour récupérer les morceaux. Il est possible de noter (rating) manuellement ses morceaux avec 5 étoiles maxi. Il existe aussi une évaluation automatique (score) en fonction du nombre d'écoutes.
Elle propose aussi l'application Clementine Remote sous Android pour commander à distance son ordi à partir de son ordiphone.
Il est aussi possible d'accéder à des fichiers sur Nextcloud à condition d'installer l'extension Music sur Nextcloud et de passer par Subsonic dans Clementine. - La radio Internet Radio Paradise que je ne saurais trop vous recommander et de soutenir financièrement !!!
I- Diffusion via le réseau DLNA à partir de son ordinateur
Disposant d'un ampli Hi-Fi TV-Audio Yamaha RX-V677 pouvant diffuser de la musique via le réseau, pourquoi n'en profiterait-on pas pour écouter les morceaux stockés sur son ordinateur sous Ubuntu à travers lui ? Bref, proposer la même chose que Deezer ou Spotify mais avec sa propre collection musicale.
J'avais choisi cet ampli car il avait des caractéristiques très intéressantes (et que j'étais tombé sur une promotion très intéressante avec 5 enceintes Focal) :
- lecture via le réseau (standard DLNA permettant l'interopérabilité entre différents appareils, chez Samsung, ils l'appellent AllShare...), notamment à partir de mon serveur NAS Synology DS713+ et via l'appli Android "DS Audio",
- lecture de fichiers audio au format FLAC qui est sans perte contrairement au MP3,
- pilotage via smartphone/tablette sous Android grâce à l'application AV Controller fournie par Yamaha,
- multi-zones : possibilité de sonoriser une autre pièce indépendamment de la principale, chose que j'ai faite pour la salle de bain avec des enceintes encastrables au plafond Yamaha NS-IC800,
- Airplay (mes enfants ont des iChoses...),
- Wifi,
- ...
Sous Ubuntu 16.04 (avec python 2) Laissé ICI comme archive
Pour pouvoir diffuser à partir de mon ordi sous Ubuntu 16.04, il est nécessaire d'installer le paquet pulseaudio-dlna qui simplifie grandement la tâche. Pour cela, il faut aller sur un dépôt particulier. Voici les commandes à saisir dans un terminal :
Page 2 sur 40