[Primtux] Installation de Primtux 9

• primtux
• École
• Éducation
• Logiciels libres

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

Lire la suite...

KDE Connect pour interagir entre son ordinateur et son ordiphone

• Linux Mint
• communication
• Android

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) :

Lire la suite...

Extraire des données d'un fichier JSON vers un fichier Markdown

• script
• bash
• Polymny Studio

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.

Lire la suite...

Fabriquer des ressorts

• imprimante 3D
• DIY
• FreeCAD
• Bricolage

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.

Lire la suite...

[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

Lire la suite...