[Primtux] Installation sur un Chromebook HP x360
Une école avait acheté par erreur lors du confinement en 2020 un ordinateur portable HP x360 12b-ca0005nf sous Chromebook et du coup, cet équipement n'était pas du tout utilisé. Lors d'une de mes visites, en discutant, j'ai proposé d'essayer de le passer sous Primtux mais sans garantir le résultat sachant les complications que mettent les fabricants et Google pour verrouiller leurs appareils... Politique qui devrait être clairement combattue de façon législative pour éviter ce gaspillage de ressources inacceptable. On ferait mieux d'agir contre ça plutôt que de faire culpabiliser avec les courriels ou en conseillant de faire pipi sous la douche car on agirait à une échelle beaucoup plus efficace, tout comme en luttant contre la publicité en ligne ou dans la vie réelle. Fin de la parenthèse 😉.
Je relate sur cette page mon cheminement pour arriver à installer sur ce Chromebook un système d'exploitation sous GNU/Linux et en particulier Primtux (qui pour la version 8 est une distribution basée sous Linux Mint 21.3) particulièrement adaptée pour une utilisation à l'école.
Sources :
- https://www.phhsnews.com/how-to-install-windows-on-chromebook3041
- https://www.chromium.org/chromium-os/developer-library/guides/device/developer-mode/
- Pour pouvoir écrire dans le BIOS sur des Chromebook protégés de la même manière (CR50) : https://wiki.mrchromebox.tech/Firmware_Write_Protect#Disabling_WP_on_CR50_Devices_via_CCD
- Site incontournable : https://mrchromebox.tech
I- Caractéristiques du Chromebook
Sources :
- Composants : https://support.hp.com/us-en/document/c06506964
- Page spécifique de ce modèle : https://support.hp.com/us-en/product/details/hp-chromebook-12b-ca0000-x360-laptop-pc-series/model/32255545
[Home Assistant] Accès extérieur à son NAS Syno et son Raspberry Pi 4 avec SFR Box6 en IPv6
Depuis quelques années maintenant, j'ai un serveur NAS Synology 713+ dont je suis pleinement satisfait et qui regorge de nombreuses possibilités (serveur multimédia pour audio/video/photo) et en particulier la gestion de conteneurs Docker sur lesquels tournent une instance Nextcloud, ... Bref, c'est une machine vraiment puissante avec un OS (DSM) très bien pensé.
J'ai aussi un Raspberry Pi 4 sur lequel tourne la solution domotique Home Assistant (après avoir testé Jeedom, j'ai finalement opté pour cette solution qui me semble plus ouverte et de meilleure qualité au niveau des plugins, très souvent payants sous Jeedom pour un résultat décevant au final).
L'intérêt d'un tel NAS réside aussi dans le fait qu'il soit accessible de l'extérieur et là encore Synology fait très bien les choses surtout si l'on n'a pas la possibilité d'avoir une IP fixe.
"Malheureusement", SFR du jour à lendemain sans prévenir, à modifier le mode de connexion de sa box 6 en passant d'une connectivité "IPv4" à "IPv6 et IPv4 CGNAT". Du coup, perte totale de l'accès extérieur à mes machines. GRRRR !!!
N'arrivant pas à un résultat satisfaisant malgré mes différentes recherches sur le Net (qui regorge de déconvenues similaires !!!), j'ai laissé trainer quelques mois et je viens de m'y repencher plus sérieusement.
Je reprends dans cet article quelques d'info de cette page "[NAS Syno] Accès à son NAS et d'autres machines + astuces" mais corrigées, actualisées (version 7.1 de DSM car il semblerait que la version 7.2 ne soit pas proposée pour mon NAS "trop vieux") et mieux détaillées.
I- Réglages du NAS Syno pour un accès de l'extérieur
A- Utilisation de QuickConnect de Synology
Synology fournit, si on le souhaite, une adresse accessible de l'extérieur via la solution Quickconnect (avec des adresses se terminant par le nom de domaine "synology.me") : c'est vraiment intéressant surtout quand votre FAI ne propose pas d'IP fixe pour les particuliers (no comment) ... On peut trouver toutes les infos sur cette fonctionnalité ici :
Installer un système GNU/Linux sur loRdi HP Probook x360 11 G1 EE
On m'a demandé dernièrement d'installer Primtux sur 2 "anciens" ordinateurs portables fournis par la région Occitanie/Languedoc-Roussillon aux lycéens. Autant il n'y a eu aucun problème sur le modèle le plus ancien mais ça n'a pas du tout été le cas pour le plus récent qui est un modèle HP Probook x360 11 G1 EE avec écran tactile.
En effet, impossible de booter directement sur mes clés USB habituelles sous Easy2Boot ou Ventoy ! Ceci est dû à un sale tour de HP/Microsoft empêchant le démarrage à partir du booloader GRUB que l'on trouve dans beaucoup de distributions GNU/Linux. Qu'à cela ne tienne car il est possible de contourner cet obstacle. Comme quoi même en compliquant la vie des simples utilisateur⋅rices, il existe souvent une solution de contournement aux blocages des constructeurs (mais c'est vrai que ça complique quand même les choses). En tout cas, cela conforte mon idée d'éviter d'acheter du HP et du Microsoft.
Sources :
- https://desvigne.org/2019/09/22/installer-linux-sur-un-portable-hp-probook-x360-g1-11-ee/
- https://antt0n.github.io/papers/lordi-linux.pdf
- https://doc.ubuntu-fr.org/refind
- https://devicetests.com/change-refind-boot-order
A- Désactiver le secure boot dans le BIOS de loRdi
- Pour désactiver le Secure Boot, il faut appuyer au démarrage de l'ordinateur sur la touche Échap avec de petits appuis rapides et répétitifs afin d'arriver à accèder au menu général du BIOS. Si on a un message demandant de répondre Yes/No, on appuie un coup de plus sur la touche Échap pour avoir un menu graphique avec 6 grandes entrées.
Remarque : Il est fort probable qu'il faille s'y reprendre à plusieurs fois avant de réussir car la "fenêtre de tir" est très limitée. Si on rate, on peut appuyer sur la touche de mise sous tension pendant 5 secondes pour forcer l'extinction puis recommencer (gain de temps car on se fiche de ce que ça pourrait causer à Windows qui sera de toute façon supprimé 😉). - Ensuite on appuie sur la touche F10 (ou on clique dessus avec la souris ou en tactile) qui permet de régler le BIOS (Bios Setup).
- On va sur le menu de gauche "Advanced" -> Boot Options (en haut de la liste) -> SecureBoot -> et on choisit Disable (à la place de Enable).
- Ensuite on revient sur le menu de gauche "Main" -> "Save Changes and Exit" . On confirme en cliquant sur "Yes".
- Lorsque l'ordinateur redémarrage, comme la modification qu'on vient de faire touche un réglage sensible, on a un message qui demande de rentrer un code aléatoire (qui change tout le temps) à 4 chiffres + ENTER pour confirmer le changement effectué dans le BIOS. On tape ce code directement sur les touches numériques de la 2e rangée du haut du clavier (sans appuyer sur la touche Shift ou une autre) puis sur la touche ENTRÉE. Rien de s'affiche quand on tape mais si c'est bon, l'ordinateur redémarre.
B- Création de la clé USB bootable sous rEFInd
Comme une clé USB bootable basée sur GRUB ne pourra pas démarrer, on va utiliser une clé USB bootable basée sur le bootloader rEFInd. Pour cela, vous pouvez suivre cet excellent tutoriel en français : https://papy-tux.legtux.org/doc1245/index.html#mozTocId965
[NAS Syno] Accès à son NAS et d'autres machines + astuces
Depuis quelques années maintenant, j'ai un serveur NAS Synology 713+ dont je suis pleinement satisfait et qui regorge de nombreuses possibilités (serveur multimédia pour audio/video/photo) et en particulier la gestion de conteneurs Docker sur lesquels tournent des instances Jeedom, Nextcloud, ... Bref, c'est une machine vraiment puissante avec un OS (DSM) très bien pensé.
L'intérêt d'un tel NAS réside aussi dans le fait qu'il soit accessible de l'extérieur et là encore Synology fait très bien les choses surtout si l'on n'a pas la possibilité d'avoir une IP fixe.
I- Accès au NAS de l'extérieur
Voir l'article [Home Assistant] Accès extérieur à son NAS Syno et son Raspberry Pi 4 avec SFR Box6 en IPv6 plus récent et actualisé de cette partie laissée comme trace.
Synology fournit, si on le souhaite, une adresse accessible de l'extérieur via la solution Quickconnect (avec des adresses se terminant par le nom de domaine "synology.me") : c'est vraiment intéressant surtout quand votre FAI comme Orange ne fournit pas d'IP fixe pour les particuliers (no comment) ... On peut trouver toutes les infos sur cette fonctionnalité ici :
[Docker] Liste de commandes utiles
J'ai découvert Docker en installant Jeedom (application domotique) sur mon NAS Synology. Pour la gestion du conteneur, j'utilise principalement l'outil intégré dans la version DSM 6.2 de mon NAS Synology : ceci a l'avantage pour un novice d'appréhender l'utilisation de Docker. Malheureusement, il y a peu de documentation sur cette utilisation particulière pour ne pas dire à la marge. Voici donc les commandes qu'on peut utiliser sur le serveur via ssh, soit une utilisation classique de Docker.
Site intéressant concernant Docker sur NAS Syno : https://www.nas-forum.com/forum/topic/65309-tuto-docker-introduction-au-fonctionnement/
Autre site :
- https://www.nas-forum.com/forum/topic/65309-tuto-docker-introduction/
- Installer Docker et Docker Compose sur son NAS Syno : https://www.virtualizationhowto.com/2023/02/docker-compose-synology-nas-install-and-configuration/
Robot MeetEdison V3
Mise à jour le 3 mars 2024 : Une nouvelle version du robot v3 est sortie en janvier 2024 https://meetedison.com/introducing-edison-v3-the-next-evolution-in-educational-robotics/
La société australienne MicroBric propose les robots programmables Edison à des prix abordables pour les écoles (compter 50€ le robot).
La programmation se fait via un câble USB-A avec la version v3. Pour les modèles antérieurs cela se faisait via un câble audio avec une prise Jack 3.5 mm branchée sur la prise casque de son ordinateur (pour certain⋅e⋅s, ça rappellera des souvenirs, que les moins de 30 ans ne peuvent pas connaître, où l'on programmait avec des cassettes audio...).
Utilisation avec Linux Mint ou autre dérivée Debian
Par contre, il est obligatoire d'utiliser Chrome/Chromium pour le programmer : Firefox ne permet pas de programmer par USB (Grrr !!!).
L'autre gros inconvénient réside dans le fait que la plupart des outils ainsi que la documentation sont principalement en anglais même si on peut trouver des solutions en français.
Sous Linux Mint (ou autre distribution basée sous Debian), il sera nécessaire de faire des manipulations supplémentaires pour que le robot soit détecté via la connexion USB. Dans un terminal, il faudra créer et éditer un fichier 49-edisonv3.rules avec cette commande :sudo nano /etc/udev/rules.d/49-edisonv3.rules
Puis il faudra rajouter la ligne suivante (attention à l'écriture des guillemets) :SUBSYSTEMS=="usb", ATTRS{idVendor}=="16d0", ATTRS{idProduct}=="1207", MODE:="0666"
Présentation
Il est possible de programmer ces robots de 4 façons différentes selon les âges :
- pour les élèves de cycle 1 avec l'aide d'un adulte : en lisant des codes-barres et avec "n'importe" quelle télécommande infra-rouge.
- À partir du cycle 2 avec EdBlocks https://www.edblocksapp.com/
- À partir du cycle 3 avec EdScratch à la façon de Scratch https://www.edscratchapp.com/
- À partir du cycle 4 avec EdPy à base de python https://www.edpyapp.com/
Remarque concernant la version V2 du robot : si on programme à partir d'un Raspberry Pi 4, il sera nécessaire d'utiliser le gestionnaire de configuration "raspi-config" afin de régler la sortie audio sur "headphone". Pour cela aller dans le menu "1 System Options" -> "S2 Audio".
Par contre, je n'ai pas pu programmer à partir du Raspberry Pi 4 sous Primtux : aucun son ne sortait alors qu'en branchant une enceinte, le son sortait bien... Il ne s'agit donc pas d'un problème avec Primtux. Le problème vient-il du câble, de la prise Jack 3.5mm ou de la prise du Raspberry Pi ? En utilisant des rallonges Jack, en testant le câble EdComm sur mon portable (pas de souci), toujours le même souci ... J'ai contacté la société MicroBric et je suis en attente de réponse. Il faudrait que je teste sur un autre Raspberry Pi 4 avec une autre distribution...
L'éditeur EdScratch :
[Vidéo] Applications utiles
Page regroupant des applications utiles autour de la vidéo à destination des écoles (mais pas uniquement) et la visio aussi. Je la compléterai au fil de l'eau...
I- Hébergement et diffusion en direct avec Peertube
Pour héberger une vidéo, le mieux sera de passer par le Peertube académique. Si on veut limiter l'accès, on choisira le mode privé (avec éventuellement un mot de passe) qui permettra de la visionner uniquement si on connaît le lien.
Tutoriel vidéo ici : https://invidious.fdn.fr/watch?v=ebjIK_RdMgw.
Prochainement, il sera possible de diffuser en direct (streaming) une intervention filmée avec Peertube grâce à une nouvelle fonctionnalité financée par de généreux⋅euses donateur⋅rice⋅s. Plus de détails, bientôt...
II- Applications de montage
Pour ce qui est du montage, tous les logiciels de montage vidéo nécessitent une prise en main. En général, d'une application à l'autre, les manipulations se ressemblent.
Il existe 4 logiciels intéressants sous Windows/Apple/Linux voire Android qui sont complémentaires :
- Avidemux : le plus simple http://circo71.cir.ac-dijon.fr/wp-content/uploads/sites/6/Tutoriels/Avidemux_convertir_traiter_videos.pdf.
Vous trouverez aussi un petit tutoriel sur ce site. - ShotCut : https://shotcut.fr/.
Vous trouverez un "tutoriel" ShotCut sur ce site.
Flouter une partie de l'image avec des images-clés : https://invidious.fdn.fr/watch?v=0ZzAMjWyOsU - OpenShot : https://www.openshot.org/fr/
- Kdenlive : https://kdenlive.org/fr/, vers le site de tutoriels : https://userbase.kde.org/Kdenlive/Manual/fr
Flouter une vidéo avec le masquage automatique : https://invidious.fdn.fr/watch?v=zF-g8vXN1QU
- Pitivi (uniquement sous GNU/Linux) : http://www.pitivi.org/.
Plus d'infos ici : https://doc.ubuntu-fr.org/pitivi - VLC, le célèbre lecteur vidéo mais pour un usage plus limité (pour du montage, avec extraction d'un passage ou réduction de la taille d'une vidéo). Vous trouverez un tutoriel à télécharger au bas de cette page.
Le site Clubic propose pas mal de tutoriels autour de VLC. Par exemple, cette page (au bas de laquelle on trouve toute une liste de tutoriels) : https://www.clubic.com/lecteur-multimedia-mediacenter/vlc-media-player/article-854877-1-comment-decomposer-video-captures-ecran.html.
Une page de 10 astuces très pratiques : https://www.01net.com/astuces/10-astuces-et-fonctions-cachees-pour-maitriser-vlc-comme-un-pro-2036165.html - YouCut sous Android : https://play.google.com/store/apps/details?id=com.camerasideas.trimmer&hl=fr&gl=US
- Shutter Encoder : outil libre et français, multi-OS qui permet de convertir et réduire des vidéos : https://www.shutterencoder.com/fr/
Remarques :
- Shotcut, OpenShot, Kdenlive et Pitivi se valent. Tout dépendra de vos préférences.
- Avidemux, tout comme ShutterEncoder a une fonctionnalité très intéressante qui permet de fixer une taille finale afin que le traitement, la compression vise à s'en rapprocher. C'est très utile pour limiter la taille des vidéos qui peuvent vite être énormes.
III- Exemple de process pour une vidéo d'école regroupant le travail de différentes classes
Page 1 sur 35