Le Carnet Technique de Michaël

Un pour les unir tous

Michaël Parienti — Sun, 11 May 2025 09:57:02 GMT

Avant c’était pas si mieux

Combien de fois en voulant installer un logiciel quelconque sur une machine debian, je suis tomber sur une instruction du genre: curl https://www.closeyoureye.org/random_script.sh | bash

La seule attitude décente face à une telle ligne de commande est de:

lever les yeux au ciel;
télécharger le script random dont l’url est fournie;
ouvrir le script téléchargé avec son éditeur préféré;
extraire les instructions qui concernent notre distribution;
les exécuter manuellement, ou depuis un nouveau script.

La découverte

Et puis un jour, en voulant installer une alternative à Firefox, je tombe sur autre chose. Cette fois-ci les instructions sont:

sudo apt update && sudo apt install extrepo -y
sudo extrepo enable librewolf
sudo apt update && sudo apt install librewolf -y

Comme son nom l’indique, extrepo est un paquet debian qui permet d’ajouter facilement des dépôts extérieurs. Les dépôts pris en charge par cet outil sont gérés dans un répertoire git dédié. On peut y voir la liste des logiciels rendus ainsi disponibles. En voici un petit extrait appétissant:

Crowdsec
Docker
Fai
HAProxy
Kubernetes
Nodejs
Postgresql
Signal
Wine HQ

Avant de commencer il vous faudra peut-être jouer avec la configuration du logiciel dans /etc/extrepo/config.yaml pour viser la bonne version de debian et éventuellement ajouter les dépôts contrib ou non-free. Vous pourrez aussi installer extrepo-offline-data pour éviter des requêtes web à chaque utilisation de l’outil.

Les deux commandes principales à connaître sont extrepo search et extrepo enable.

En guise de conclusion j’espère juste que le répertoire git contenant la liste des dépôts et leurs clefs publiques est surveillé comme du petit lait sur le feu par les équipes debian. La sécurité de bien des serveurs en ligne est dépend.

Récupération d’information rapide

Michaël Parienti — Sun, 06 Apr 2025 13:25:56 GMT

Nouveaux serveurs à gérer

Je viens de récupérer plusieurs machines à gérer. Je n’ai qu’un accès ssh à chaque machine, et une description sommaire de son rôle. Hors j’aimerais savoir rapidement de quoi est capable chaque serveur:

combien a-t-il de RAM?
les partitions,
l’espace disponible sur les disques,
le nombre de processeurs,
etc.

L’outil

Après quelques recherches je suis tombé sur l’outil magique qui fait tout ça: inxi. Écris en perl, inxi va récupérer toutes les informations dans l’arborescence /proc/ et /dev/ pour nous présenter une synthèse lisible par nous, pauvres humains.

Pour mes serveurs, je l’utilise avec les options -C -D -j -m -p -S -n -o -R

inxi -C -D -j -m -p -S -n -o -R

Mais il existe d’autres options pour afficher à peu près tout: les besoins ne sont pas les même pour un desktop et pour un serveur.

L’avantage qu’il soit écrit en perl, c’est qu’on peut simplement copier l’exécutable sur un serveur et le lancer ensuite directement, sans avoir à installer tout le paquet.

Un tunnel low cost

Michaël Parienti — Sun, 09 Mar 2025 16:39:10 GMT

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.

Il m’a été proposé d’utiliser les tunnels Cloudflare, ou bien d’installer ngrok. Mais ces deux solutions, ainsi que leurs multiples alternatives, me semblaient «/overkill/» pour mon simple besoin. J’ai donc préféré m’amuser à implémenter une solution plus modeste et sur mesure, que je vais présenter ci-après.

Solution maison

Je contrôle déjà un serveur web qui est accessible publiquement sur internet. C’est le serveur web qui héberge le blog sur lequel vous êtes certainement en train de lire cet article. Mon objectif va être d’utiliser ce serveur comme proxy web sur un nom de domaine dédié, qui transmettra toutes les requêtes vers mon serveur de développement, qui lui tournera sur mon portable dans des containers configurés avec docker-compose.

Configuration DNS

La première étape consiste donc à faire pointer le nom de domaine sous lequel on veut rendre accessible notre environnement de développement vers ce serveur.

Par convention je vais utiliser les noms suivants:

my-web-server.net: le nom de domaine de mon serveur web public;
dev1.devs.my-web-server.net: le nom de domaine sous lequel l’environnement de développement sera accessible.

L’enregistrement DNS à créer ressemblera à quelque chose comme: *.devs.my-web-server.net CNAME my-web-server.net

Configuration Caddy

Mon serveur web utilise Caddy. Ici je vais utiliser deux fonctionnalités de cet outil particulièrement pratiques:

en déclarant un nom de domaine ouvert sur le port 443, Caddy récupère automatiquement le certificat Letsencrypt!
Un reverse proxy se configure en une seule ligne.

La section de ma configuration Caddy dédiée au tunnel ressemble à ceci:

dev1.devs.my-web-server.net:80,
dev1.devs.my-web-server.net:443 {
    log {
        output file /var/log/caddy/dev1-devs.log
    }
    reverse_proxy {
        to 127.0.0.1:8888
   }
}

Configuration Docker avec le certificat

Lorsque mon application web sera accessible depuis l’extérieur, Caddy va utiliser le certificat généré par Letsencrypt pour sécuriser la connexion. Mais lorsque j’accède à cette même application en local depuis mon portable, c’est au serveur web qui tourne dans Docker de s’en occuper. Pour cela ce serveur a aussi besoin des fichiers du certificat.

Ces fichiers (la clé publique et la clé privée) se trouvent dans le sous répertoire dev1.devs.my-web-server.net du répertoire /var/lib/caddy/.local/share/caddy/certificates/acme-v02.api.letsencrypt.org-directory/ Il faut les copier en local, puis les insérer dans le container qui fera tourner le serveur web.

Dans le Dockerfile du serveur web on trouvera donc quelque chose qui ressemble à:

COPY certs/dev1.devs.my-web-server.net.crt /usr/local/apache2/conf/dev1.devs.my-web-server.net.crt
COPY certs/dev1.devs.my-web-server.net.key /usr/local/apache2/conf/dev1.devs.my-web-server.net.key

Dans mon cas particulier l’application en local est servie par un serveur apache. La configuration de ce serveur ressemble à ceci:

<VirtualHost _default_:443>
    DocumentRoot "/var/www/my-app/"
    ServerName dev1.devs.my-web-server.net

    SSLEngine on
    <Directory "/var/www/my-app/">
        AllowOverride All
        Require all granted
    </Directory>

    SSLCertificateFile "/usr/local/apache2/conf/dev1.devs.my-web-server.net.crt"
    SSLCertificateKeyFile "/usr/local/apache2/conf/dev1.devs.my-web-server.net.key"
    Protocols h2 http/1.1
</VirtualHost>

Modification du fichier /etc/hosts

Pour pouvoir travailler localement, sans passer par le proxy, il faut associer l’adresse IP du container apache au nom de domaine dev1.devs.my-web-server.net. On récupère cette adresse avec la commande suivante:

docker inspect \
     --format='{{range .NetworkSettings.Networks}}{{.IPAddress}}{{end}}' \
    $(docker compose ps -q apache)

Connexion ssh

La dernière étape consiste à créer le tunnel, avec SSH, entre notre machine locale et le serveur web:

ssh -R 8888:127.0.0.1:8351 my-web-server.net

Ici on a:

8351 le port ouvert de notre serveur web dans votre docker-compose;
8888 le port qui est dans la configuration reverse proxy de Caddy.

Et voilà!

Aller plus loin

Il ne semble pas trop difficile de bricoler une solution qui automatise un peu toutes ces étapes. D’ailleurs c’est pour cela que j’ai déclaré le domaine *.devs.my-web-server.net dans ma configuration dns, au lieu de dev1.my-web-server.net. Ainsi je peux ajouter plus facilement d’autres domaines sans modifier mon serveur DNS. Je n’aurais ensuite que les modifications de la configuration Caddy et de docker à programmer. Pour le moment, avec un seul environnement à rendre accessible, je n‘ai pas besoin d’automatiser plus.

Post Scriptum

Après avoir écrit cet article, je découvre un projet qui met en œuvre exactement le même procédé que moi, avec un début d’automatisation.

Nouvel outil de traduction hors ligne

Michaël Parienti — Tue, 31 Jan 2023 19:11:00 GMT

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.

Malheureusement l’outil n’est distribué que sous la forme d’une extension Firefox, et le dépôt git et les explications pour obtenir une application indépendante est indigeste. «Hillariously difficult to use» pour rependre le titre d’un rapport un bogue, dont une réponse pointe vers Kotki, un projet dérivé qui promet de simplifier l’utilisation de l’outil.

L’outil

L’installation de Kotki se déroule en deux partie. Au niveau système, en tant que root:

apt install -y cmake ccache build-essential git pkg-config \
    rapidjson-dev pybind11-dev libyaml-cpp-dev python3-dev \
    python3-virtualenv libopenblas-dev libpcre2-dev \
    libprotobuf-dev protobuf-compiler libsqlite3-dev
pip3 install kotki -v

En tant qu’utilisateur, il faut ensuite télécharger les «modèles» permettant de traduire d’une langue à l’autre:

mkdir -p ~/.config/kotki/models/
cd /tmp/
# Voir https://github.com/kroketio/kotki/releases
wget https://github.com/kroketio/kotki/releases/download/0.6.0/kotki_models_0.3.3-tiny.zip
unzip kotki_models_0.3.3-tiny.zip -d ~/.config/kotki/models

Personnellement je télécharge la version tiny du fichier, parce que le fichier contient les modèles de traduction dont j’ai besoin. Si vous êtes intéressé par le russe ou l’ukrainien, la version complète sera nécessaire:

wget https://github.com/kroketio/kotki/releases/download/0.6.0/kotki_models_0.3.3-tiny.zip
unzip kotki_models_0.3.3.zip -d ~/.config/kotki/models

Utilisation

Ça marche plutôt pas mal:

kotki-cli -i "Longtemps je me suis couché de bonne heure."
# For a long time I went to bed early.

kotki-cli -m enfr -i "For a long time I went to bed early."
# Pendant longtemps, je suis allé me coucher tôt.

kotki-cli  -i \
"Als Gregor Samsa eines Morgens aus unruhigen Träumen erwachte, \
fand er sich in seinem Bett zu einem ungeheueren Ungeziefer \
verwandelt."
# One morning, when Gregor Samsa awoke from troubled dreams,
# he found himself in his bed turning into a monstrous vermin.

kotki-cli -m ende -i \
"One morning, when Gregor Samsa awoke from troubled dreams,\
 he found himself in his bed turning into a monstrous vermin."
# Eines Morgens, als Gregor Samsa aus unruhigen Träumen erwachte,
# fand er sich in seinem Bett wieder, das sich in ein
# ungesäuertes Ungeziefer verwandelte.

Mais l’allemand, n’est pas encore très au point.

Une autre critique: l’anglais est pivot. Il n’existe pas (encore?) de modèle permettant de traduire de l’allemand vers le français ou du français vers l’allemand.

Utiliser l’historique Bash

Michaël Parienti — Tue, 31 Aug 2021 16:35:00 GMT

Apperçu rapide

Bash propose des raccourcis bien utiles pour relancer des commandes, ou des bouts de commandes, précédemment exécutées. Cette page va recenser ceux que j’ai trouvés les plus utiles jusqu’à présent.

Voici quelques exemples d’usage:

# Relance la dernière commande en la faisant précéder par sudo
sudo !!
# Opération inverse: relancer la dernière commande sudo sans sudo
!*
# Pour modifier le dernier fichier visualisé avec less
!less:s/less/vi/

Tableau récapitulatif

Et voici un tableau à garder sous la main en cas de besoin

!!	dernière commande
!rm	dernière commande qui commence par `rm`
!?force?	dernière commande qui contient `force`

!$	dernier argument de la dernière commande executée
!^	premier argument de la dernière commande executée
!*	tous les arguments de la dernière commande executée (synonymes: `!!:1` `!!:1-$` `!!:`)

!scp$	dernier argument de la dernière commande qui commence par `scp`
!scp^	premier argument de la dernière commence qui commence par `scp`

:p	affichage au lieu d’exécuter
:h	dirname (head)
:t	filename (tail)
:r	enlève l’extension (peut être utilisé deux fois pour des fichiers `tar.gz`)
:e	retourne l’extension seulement

^search^replace	remplace `search` par `replace` dans la dernière commande
!rm:s/search/replace/	remplace `search` par `replace` dans la dernière commande commençant par `rm`
!rm:sg/search/replace/	remplace partout …

sudo !!	relance la commande précédente avec `sudo`
chmod +x !$	un exemple parmi mille de l’utilisation du racourci `!$`
!scp^:h	le chemin du fichier copié par `scp` (si le fichier était le premier argument à `scp` ie il n’y avait pas d’options)

!grunt:2-$:p	affichage tous les arguments sauf le premier de la dernière commande commençant par `grunt`

Re-écrire un historique git

Michaël Parienti — Wed, 09 Jun 2021 15:53:00 GMT

Contexte

Ça y est. Après des mois de travail appliqué, le projet est achevé: toutes les fonctionalités ont été implementées, la couverture de tests est satisfaisante, les scripts de déploiement vers les différents environnements fonctionnent.

Bref le client est satisfait et l’heure est venue de transmettre le projet. Cet fois-ci le client souhaite être autonome et continuer seul à exploiter et faire évoluer le logiciel. C’est son choix, c’est son droit, pas de problème.

Une dernière vérification sur le dépôt dévoile une petit souci: le script de déploiement, lors de la phase de construction du paquet, utilise un fichier auth.json utilisé par composer afin d’accéder à des composants php sous licence. Et ce fichier est enregistré dans le dépôt. Donc si le projet est livré en l’état au client, celui-ci continuera à avoir accès aux dépôts privés.

Le problème

Après consultation du département des ventes, nous apprenons que nous devons distinguer plusieurs cas:

il y a des composants pour lesquels le client a acquis les droits sur les mises à jour futures;
pour d’autres logiciels, seule la version disponible au moment de la livraison devra rester accessible;

Pour les premiers composants, les identifiants peuvent rester dans le fichier auth.json sans problème. Lorsque les futurs développeurs du projet lanceront la commande composer update les dernières versions seront alors téléchargées. En revanche pour les autres composants (un seul en fait) il va falloir faire autrement.

La méthode va être la suivante:

retirer les clefs d’accès au dépôt du composant en question du fichier auth.json
insérer «/en dur/» dans le dépôt git les sources du composant, et mettre à jour les fichiers composer.json et composer.lock en conséquent.

Nous allons nous simplifier la tâche: la deuxième partie (copie du composant dans le dépôt) sera mise en œuvre dans un nouveau commit. C’est un peu de la triche parce que cela signifie que le projet livré ne tournera pas ou ne pourra pas être construit avec les commits précédents le dernier. Néanmoins:

c’est contractuellement Ok;
cela fera à peine un peu plus de travail pour les nouveaux développeurs lorsqu’ils voudront utiliser un git bisect.

Quant à la première partie du nettoyage de notre dépôt git, nous allons devoir utiliser un outil diabolique: git filter-branch.

La solution

Cet outil est tellement diabolique que la documentation officielle vous suggère d’utiliser une alternative plus sûre comme filter-repo. Après avoir attentivement lu la documentation des deux outils, j’ai préféré utiliser le plus dangereux des deux, filter-branch. Pas par amour du risque, mais par besoin de simplicité.

Les deux outils permettent de re-écrire l’historique d’un dépôt git. Modifier l’historique d’un dépôt git n’est pas anodin. Une fois le serveur de référence mis à jour avec le nouvel historique, tous les développeurs devront re-cloner leur dépôt avant de pouvoir pousser à nouveau leurs modifications. Bien sûre, dans le cas décrit ici, cela n’est pas problématique, puisqu’il n’y aura que des nouveaux développeurs.

Alors que filter-repo permet essentiellement de modifier l’historique d’un dépôt git en supprimant, ajoutant ou modifiant des fichiers dans chaque commit, filter-branch permet d’exécuter une commande avant chaque commit. Dans notre cas, nous allons écraser le fichier auth.json avec la version contenant les clefs permises.

git filter-branch --tree-filter 'cp /tmp/auth.json src/auth.json' HEAD

Et voilà!

À noter:

tous vos commits ont maintenant des identifiants différents;
le fichier src/auth.json a été automatiquement ajouté au premier commit, même si cela n’était pas le cas avant.

Mon projet comportait quelques centaines de commits. La commande n’a pas mis plus de quelques minutes pour s’exécuter sur un ordinateur type desktop.

Encore une fois, la commande git filter-branch est à utiliser avec parcimonie, et uniquement en dernier recours.

Astuces de printemps

Michaël Parienti — Fri, 21 May 2021 05:05:00 GMT

Astuces de printemps / aka nouvelle fournée de Petits Tips

D’après le calendrier c‘est le printemps. Il est temps de publier une nouvelle liste de petits trucs. Dorénavant j’appellerai ces articles «p'titstips».

Supprimer le canal alpha des images

À cause d’un bug dans une librairie utilisée dans un projet, toutes les images avec un fond transparent apparaissaient avec un fond noir. En attendant une version corrigée de la librairie, il a été décidé de mettre un fond blanc aux images avec transparence. Voici la commande qui réalise cette transformation:

convert -resize 200 -background white -alpha remove pic-with-apha.png pic-with-white-bg.png

Docker

Lorsque l’hébergeur de votre site vous a mis à disposition une base de donnée dans un container, mais que le container n’est pas démarré automatiquement lorsque le serveur redémarre, il faut changer la configuration du container comme ci-dessous.

docker update --restart always mysql-server-container

Redirection de port à l’intérieur d’un container

Imaginons une application web dans un container, dont le port externe au container 8092 est redirigé vers le port interne 80. Notre application est configurée pour être appelée sur l’adresse 127.0.0.1:8092. Mais lorsque l’application s’appelle elle-même depuis l’intérieur du container, le port 8092 n’est pas atteignable. Il faut donc créer une redirection en utilisant socat par exemple:

socat tcp-l:8092,fork,reuseaddr tcp:127.0.0.1:80

Convert mp4 into gif

Comme souvent une image veut mieux qu’un long discours, et en description de bug, une vidéo vaut mieux qu’une image. Vokoscreen est donc votre ami pour les déclarations de bug, cet outil vous permettant d’enregistrer ce que vous faites à l’écran. Et lorsque vous avez enregistré votre bug mais que le formulaire du service client pour ouvrir un ticket n’accepte que le format gif, alors ffmpeg vient à la rescousse.

ffmpeg \
  -i vokoscreenNG-2021-04-18_12-25-57.mp4 \
  -r 15 \
  -vf "split[s0][s1];[s0]palettegen[p];[s1][p]paletteuse" \
  bug-live-test-credit-card.gif

Background dynamique

Vous n’arrivez pas à choisir votre fond d’écran? Ne choisissez pas, et changer le fond d’écran toutes les cinq minutes.

while true ; do  for f in `ls *|sort -R` ; do feh --bg-max $f ; sleep 300  ; done; done

(n’a pas été testé avec autre chose qu’Awesome)

Tableau récapitulatif des bandes passantes

Michaël Parienti — Thu, 15 Apr 2021 15:05:00 GMT

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.

Le tableau magique

D’une page wikipedia, j’ai extrait les valeurs suivantes:

Connection	bit/s	MB/s
Fast Ethernet (100BASE-X)	100 Mbit/s	12.5 MB/s
Gigabit Ethernet (1000BASE-X)	1 Gbit/s	125 MB/s
2.5 Gigabit Ethernet (2.5GBASE-T)	2.5 Gbit/s	312.5 MB/s
5 Gigabit Ethernet (5GBASE-T)	5 Gbit/s	625 MB/s
10 Gigabit Ethernet (10GBASE-X)	10 Gbit/s	1.25 GB/s
USB 2.0	480 Mbit/s	60 MB/s
USB 3.0 (aka USB 3.1 Gen 1)	5 Gbit/s	500 MB/s
USB 3.1 (aka USB 3.1 Gen 2)	10 Gbit/s	1.212 GB/s
USB 3.2 (aka USB 3.2 Gen 2×2)	20 Gbit/s	2.424 GB/s

Conclusion: Pour profiter réellement de l’USB 3 du NAS il va falloir investir dans un switch 10 Gigabits.

Enregistrer des albums depuis youtube

Michaël Parienti — Wed, 31 Mar 2021 21:57:00 GMT

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 YouTube¹ des albums entiers, qui n’attendent que la ligne de commande pour être téléchargé grâce à Youtube-dl.

Voici donc la fameuse ligne de commande:

youtube-dl -i -x -o "%(artist)s - %(album)s - %(playlist_index)02d - %(track)s.%(ext)s" \
 url-de-la-playlist

Cela vous permet de récupérer toutes les pistes d’un album mis en ligne sous forme d‘une playlist. Les constituants des noms des chansons sont alors:

Le nom de l’artiste
Le nom de l’album
L’index de la chanson (ce qui permet de jouer les chansons dans l’ordre)
Le nom de la chanson

Parfois le nom de l’artiste n’est pas renseigné, il faut donc le remplacer:

for f in NA*  ;do  eval mv \"$f\" \"${f/NA/Nom de l’artiste}\" ; done

Pour d’autres morceaux, c’est le nom de l’album qui manque et qu’il faut remplacer:

for f in *NA*  ;do  eval mv \"$f\" \"${f/NA/Nom de l’album}\" ; done

Notes de bas de page:

Hélas, je n’ai pas trouvé l’équivallent sur des instances d’Individious

Démarrer une debian ARM 64 sur un Raspberry Pi 4 depuis un disque dur externe

Michaël Parienti — Tue, 16 Mar 2021 06:35:00 GMT

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.

La mise à jour du programme de démarrage du stocké dans la ROM du Raspberry Pi est parfois nécessaire. En allumant le Raspberry sans carte SD, mais connecté à un écran, vous devriez lire la version de l’Eeprom. Si la date est inférieur au Sep 3 2020, une mise à jour est nécessaire.

Pour mettre à jour la ROM, il vous faut, après avoir démarré avec la distribution dédiée, installer le paquet rpi-eeprom, puis lancer rpi-eeprom-update -a.

Après la mise à jour le deuxième rôle de cette distribution est de configurer l’Eeprom pour autoriser le démarrage depuis un disque dur externe. Le programme qui autorise cette configuration est rpi-eeprom-config --edit . Il faut changer la directive BOOT_ORDER. Plusieurs valeurs sont possibles. Le Raspberry Pi essaie de démarrer depuis les différentes options données, de droite vers gauche par priorité décroissante.

J’ai entré 0x41 comme valeur pour la directive BOOT_ORDER. Cela signifie:

Essaie de démarrer sur la carte SD (valeur 1 la plus à droite);
Si cela ne marche pas, essaie de démarrer sur le disque dur externe (valeur 4).

Si j’avais configuré le BOOT_ORDER à 0x242, le Raspberry Pi aurait essayé de démarrer, dans l’ordre:

depuis la carte SD;
depuis un disque dur externe
depuis le réseau (valeur 2).

Maintenant il ne nous reste plus qu’à installer une debian ARM64 sur un disque dur externe.

Installation de Debian ARM

Il existe un mini site web dédié aux images Raspberry PI construites par Debian. Les images de la distribution debian ARM64 les plus stables se trouvent ici.

La première chose à faire est de brancher un disque dur externe, de type USB3 de préférence, supportant l’uasp serait encore mieux. Ensuite on copie l’image sur le disque dur, exactement de la même manière que si c’était une carte SD.

Voici les instructions que je lance pour télécharger une image buster et la copier sur un disque externe. Ces instructions sont valables pour les images du 10 février 2021 (les plus récentes au moins de la rédaction de ce billets) et pour un disque dur apparaissant en /dev/sdb. Surtout n’exécuter pas ces instructions sans les comprendre et sans changer la valeur /dev/sdb, au risque d’écraser toutes les données d’un disque dur branché à l’ordinateur d’où vous les lancerez.

wget https://raspi.debian.net/verified/20210210_raspi_4_buster.img.xz
wget https://raspi.debian.net/verified/20210210_raspi_4_buster.xz.sha256
sha256sum --check 20210210_raspi_4_buster.xz.sha256
xzcat 20210210_raspi_4_buster.img.xz | sudo dd of=/dev/sdb bs=64k oflag=dsync status=progress

Ensuite, il n’y a plus qu’à retirer la carte SD du Raspberry Pi¹, brancher le disque dur et redémarrer votre framboise.

En guise de conclusion

Et voilà, votre Raspberry Pi 4 contient une debian ARM64 pur jus, et il démarre sur un disque dur externe, généralement plus fiable que les carte SD.

À partir de là, à vous de continuer. Vous avez maintenant à disposition tous les paquets debian, il y a de quoi vous occuper :-)

Notes de bas de page:

Ce n’est pas nécessaire si vous avez configurer le démarage sur disque dur externe avant le démarrage sur carte SD

Le Carnet Technique de Michaël

Un pour les unir tous

Avant c’était pas si mieux

La découverte

Récupération d’information rapide

Nouveaux serveurs à gérer

L’outil

Un tunnel low cost

Besoin de tunnel

Solution maison

Configuration DNS

Configuration Caddy

Configuration Docker avec le certificat

Modification du fichier /etc/hosts

Connexion ssh

Aller plus loin

Post Scriptum

Nouvel outil de traduction hors ligne

Le besoin

L’outil

Utilisation

Utiliser l’historique Bash

Apperçu rapide

Tableau récapitulatif

Re-écrire un historique git

Contexte

Le problème

La solution

Astuces de printemps

Astuces de printemps / aka nouvelle fournée de Petits Tips

Supprimer le canal alpha des images

Docker

Redirection de port à l’intérieur d’un container

Convert mp4 into gif

Background dynamique

Tableau récapitulatif des bandes passantes

Contexte

Le tableau magique

Enregistrer des albums depuis youtube

Avant

Maintenant

Notes de bas de page:

Démarrer une debian ARM 64 sur un Raspberry Pi 4 depuis un disque dur externe

Objectif

Première étape, activer l’option boot on usb

Installation de Debian ARM

En guise de conclusion

Notes de bas de page:

Première étape, activer l’option `boot on usb`