Reprise synthétique des informations de la documentation officielle pour l’installation de l’image d’un système d’exploitation pour le Raspberry Pi depuis GNU/Linux.
Première étape:
- Télécharger Raspbian.
- Vérifier le hash du zip récupéré.
- Extraire le fichier image de l’archive ZIP.
- Lister les supports de stockage connectés avec
lsblk
. - Brancher la carte SD/microSD.
- Réexécuter
lsblk
. - Noter l’identifiant correspondant de la forme
mmcblk0
ousdX
(X, lettre minuscule non accentuée). - Si d’éventuelles partitions sur la carte sont montées, les démonter:
umount /dev/sdX1
.
Place ensuite à l’installation:
dd bs=4M if=2018-03-13-raspbian-stretch.img of=/dev/sdX status=progress conv=fsync
Enfin, exécuter sync
afin de s’assurer que l’on peut retirer la carte sans risque.
Pour ma part, j’ajoute une étape supplémentaire consistant à activer SSH par défaut. Pour cela, il suffit de monter la carte et de créer un fichier vide nommé ssh dans la partition boot: sudo touch ssh
(point de montage visible dans lsblk
. On peut démonter toutes les partitions de la carte ensuite). De cette manière, le Pi devient accessible en SSH avec les identifiants par défaut dès son premier démarrage et on peut ainsi exécuter directement un script Ansible pour le configurer automatiquement.
Une réflexion sur « Préparation du système pour le Pi »