Articles sur Geek’s life
Un tunnel low cost
Besoin de tunnel
La dernière mode chez les développeurs, c’est d’exposer publiquement son environnement local, généralement une application web en cours d’écriture. De mon côté, il m’a été demandé de travailler sur un système de paiement dont la configuration nécessitait que ma machine de développement soit accessible au service de paiement.
Nouvel outil de traduction hors ligne
Le besoin
Vivant et travaillant en Allemagne, utilisant les langues anglaise et allemande de manière professionnelle, le français et l’allemand dans la sphère privée, je suis un utilisateur pas très modéré des outils de traduction en ligne.
Aussi l’annonce d’un outil de traduction hors ligne basé sur des travaux universitaires par Mozilla m’a enchanté. La description technique de la conception de l’outil est intéressante à lire.
Tableau récapitulatif des bandes passantes
Contexte
Je suis en train de migrer progressivement toutes les mes mini-machines de mon réseau local de Raspberry 2 et 3 vers le Raspberry 4. J’utilise ces machines comme:
- Firewall
- NAS
- Pihole
Le passage de l’USB 2 des anciennes versions à l’USB 3 de la version du Raspberry 4, m’a poussé à chercher le bottelneck de mon infrastructure.
Enregistrer des albums depuis youtube
Avant
Je suis assez vieux pour me souvenir de l’époque où l’on devait guetter à la radio le passage de nos hits préférés pour pouvoir les enregistrer et les ré-ecouter plus tard à loisir.
Maintenant
Autres temps, autre mœurs. On trouve maintenant sur YouTube1 des albums entiers, qui n’attendent que la ligne de commande pour être téléchargé grâce à Youtube-dl.
Démarrer une debian ARM 64 sur un Raspberry Pi 4 depuis un disque dur externe
Objectif
Dans cet article je vais expliquer comment faire démarrer son Raspeberry Pi 4 directement depuis un disque dur externe USB. Et pour être totalement moderne, nous démarrerons une debian ARM64, au lieu de Raspberry Pi OS qui est devenu persona no grata.
Première étape, activer l’option boot on usb
Il faut commencer par se procurer une distribution dédiée au Raspberry, comme par exemple celle que vous pouvez construire vous même avec le projet pi-gen. On ne va pas utiliser cette distribution définitivement, mais uniquement pour mettre à jour et configurer le Raspberry Pi 4. Il faudra donc utiliser une carte SD, sur laquelle vous aurez installer cette distribution, et démarrer une première fois dessus.