[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.
Fonctionnement de l'imprimante HP OfficeJet Pro 8134e sous Linux Mint
Mon ancienne imprimante HP après plus de 10 ans de bons et loyaux services ayant rendu l'âme, il a fallu que je me mette en quête d'un nouveau modèle fonctionnant obligatoirement sous GNU/Linux avec mes critères suivants :
- Impression couleur recto-verso au format A4.
- Prise Ethernet RJ45 pour fonctionnement en réseau filaire et avec un navigateur Internet car plus facile à piloter qu'en utilisant le petit écran de l'imprimante.
- Encombrement acceptable pour aller sur mon bureau sans l'envahir.
- Pilotes natifs et complets sous GNU/Linux : en effet, les pilotes natifs sous GNU/Linux se limitent très souvent au minimum syndical avec des fonctionnalités réservées sous Windows ou Apple... GRRR.
- Possibilités d'utiliser des cartouches d'encre génériques pour réduire les coûts d'impression au maximum, ce qui élimine les imprimantes laser inadaptées à mon usage plus que modéré.
- Prix raisonnable (moins de 200€) à l'achat.
- Ni EPSON, suite à une mauvaise expérience passée, ni CANON car souvent le fonctionnement sous GNU/Linux est aléatoire.
Et bien je dois dire qu'au mois de novembre 2025, aucun modèle n'a eu mes faveurs d'office, loin de là...
Dommage que le projet d'imprimante ouverte Open Printer n'ait pas encore vu le jour car je pense que c'est le modèle que j'aurais choisi (suivant son prix toutefois mais j'accepterais de dépenser davantage pour une imprimante de ce type) : https://www.lesnumeriques.com/imprimante/cette-imprimante-open-source-fait-des-promesses-auxquelles-on-a-envie-de-croire-n243137.html. En tout cas, je vais suivre de près ce projet prometteur : https://www.crowdsupply.com/open-tools/open-printer.
Au final, il ne restait pas beaucoup de constructeurs en dehors de HP et Brother...
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
Page 1 sur 40