Installer raspbian sur une SD Card avec un Raspberry Pi
La page Installer Raspbian sur un Raspberry Pi,
montre comment installer Raspbian sur une SD Card à l'aide d'un ordinateur fonctionnant sous Windows 10.
La présente page décrit une méthode permettant d'installer Raspbian sur une SD Card en utilisant un Raspberry Pi (on utilise ici un Raspberry Pi 4 doté de la version Raspbian du 26 septembre 2019).
Cette méthode peut se décomposer selon les 5 étapes suivantes :
1) Installer les logiciels nécessaires;
2) Formater la SD Card;
3) Télécharger le fichier Raspbian au format zip;
4) Dézipper le fichier Raspbian;
5) Installer Raspbian sur la SD Card;
6) Utiliser la SD card.
1) Installer les logiciels nécessaires
1.1) Installer GParted
GParted (GNOME Partition Editor) est un logiciel qui permet de créer, supprimer et modifier des partitions sur des disques (SD card, clefs USB...). Gparted peut donc être notamment utilisé pour formater une SD Card, c'est à dire supprimer la (ou les) partition(s) déjà présente(s) sur la SD card puis créer une nouvelle partition.
Pour installer GParted sur un Raspberry Pi, on saisit les commandes suivantes dans le Terminal de commande de Raspbian:
sudo apt-get update
sudo apt-get install gparted
Un fois GParted installé, il est accessible depuis le menu "System Tools" du menu "Framboise".
Remarque: si le menu "Framboise" est affiché en anglais c'est que le Raspberry Pi est configuré comme ayant une localisation (langue et pays) anglaise. Si on souhaite afficher le menu "Framboise" en langue française, il suffit de configurer le Raspberry Pi comme ayant une localisation (langue et pays) Française. Pour cela on clique "Framboise/Preference/Raspberry Pi Configuration". Puis dans la boite de dialogue qui s'ouvre on clique les boutons "Set Locale" puis "Set Timezone".
Dans "Set Locale" on sélectionne "fr (french)" et "FR (France)" puis on clique OK
Dans "Set Time Zone" on sélectionne "Europe" et "paris" et "FR (France)" puis on clique OK
On clique ensuite OK puis Yes pour rebooter le Raspberry Pi et le tour est joué !
Les options du menu "Framboise" sont alors désormais en français.
1.2) Installer p7zip
p7zip est un logiciel libre qui permet :
• d'intégrer un ou plusieurs fichiers dans un fichier archive;
• d'extraire un ou plusieurs fichiers contenus dans un fichier archive.
$ 7z a monarchive.zip monarchive
Le fichier "monarchive.zip", contenant les fichiers "01.txt" et "02.txt" est alors aussitôt créé dans le répertoire "Documents".
Pour extraire les fichiers "01.txt" et "02.txt" du fichier "monarchive.zip", on saisit la commande suivante :
$ 7z e monarchive.zip
Les fichiers "01.txt" et "02.txt" sont alors aussitôt extraits de l'archive et copiés dans le répertoire "Documents".
Pour installer p7zip sur un Raspberry Pi, on saisit les commandes suivantes dans le Terminal de commandes de Raspbian.
$ sudo apt-get install p7zip
$ sudo apt-get install p7zip-full
Une fois installé, p7zip est utilisable en ligne de commande avec les commandes indiquées ci-dessus.
1.3) Installer Gnome disk utility
Gnome disk utility est un logiciel de gestion de disques fonctionnant en mode graphique. Ce logiciel permet en particulier de créer une SD Card Raspbian bootable à partir d'un fichier image "raspbian-versionxxxx.img" téléchargeable sur le site de la fondation Raspberry Pi.
Pour installer Gnome disk utility sur un Raspberry Pi, on saisit la commande suivante dans le Terminal de commandes de Raspbian
sudo apt-get install gnome-disk-utility
Une fois installé, Gnome disk utility est accessible depuis le menu "Accessoires/Disks" du menu principal "Framboise".
2) Formater la SD Card
Le formatage de la SD Card permet de préparer la SD card pour qu'elle soit apte à recevoir Raspbian. Le formatage effectue les deux actions principales suivantes :
• suppression des données éventuellement présentes sur cette carte ;
• création d'une structure ("partition") destinée à accueillir les données.
Le formatage de la SD Card doit être effectué au format FAT32 qui est la version 32bits du système de fichiers FAT (File Allocation Table) inventé par Microsoft.
On pourrait naturellement formater la SD Card à l'aide du Terminal de commandes de Linux mais cette façon de procéder n'est pas la plus simple car elle nécessite de bien comprendre et maîtriser la syntaxe et l'ordre des commandes à saisir dans le Terminal de commandes. On utilise donc ici le logiciel GParted qui présente l'avantage de fonctionner en mode graphique et qui est facile à utiliser.
Dans le cas présent on va formater une SD Card 16Go sur laquelle est installé une ancienne version de Raspbian. On place cette carte dans une clef USB lecteur de carte sans la brancher au Raspberry Pi pour le moment.
En effet, il faut veiller à bien identifier la SD Card qui est présente sur la clef USB, sans risquer de la confondre avec la SD Card Raspbian qui est présente dans le slot situé sous le du raspberry Pi.
Pour cela, on lance GParted depuis le menu "Framboise/System Tools". Une boîte de dialogue nous demande de nous authentifier. on saisit le mot de passe de l'utilisateur Pi (mot de passe "raspberry" par défaut ou mot de passe modifié...) puis on clique OK.
Dans la fenêtre qui s'ouvre on repère le nom de la SD Card du Raspberry Pi (celle qu'il ne faut pas modifier...). Dans notre exemple la SD Card du Raspberry Pi s'appelle "mmcblk0" et comprend deux partitions "p1" et "p2".
On referme GPparted.
On insère alors, dans un des ports USB du Raspberry Pi, la clef USB contenant la SD Card à formater.
Dans la boite dialogue qui s'ouvre automatiquement, on clique OK.
On relance GParted.
Cette fois ci, on repère et on sélectionne la SD Card que l'on souhaite formater qui s'appelle ici "sda" et qui contient deux partitions "sda1" et "sda2".
On sélectionne la première partition et on clique "Unmount" pour la démonter.
Gparted indique alors que la partition "sda1" est sur le point d'être supprimée ("1 operation pending - 1 opération en attente").
On procède de la même façon pour la partition "sda2" (clic droit/Unmount puis clic droit/Delete). Gparted indique alors que les partitions "sda1" et "sda2" sont sur le point d'être supprimées ("2 operations pending - 2 opérations en attente")
On clique alors le bouton vert ("Apply All Operations").
On confirme la suppression des deux partitions en cliquant "Apply".
Une fois le bon déroulement des opérations confirmé, on clique "Close".
GParted affiche alors que la SD Card contient désormais un espace de 14,8 Go non alloués (cet espace correspond à la capacité de 16Go de la SD Card).
Il ne reste plus qu'à formater cet espace au format FAT 32 pour le rendre apte à recevoir Raspbian. Pour cela, on clique "Partition/New"
Dans la boîte de dialogue qui s'ouvre, on sélectionne le format "fat32", on donne un nom à la partition ("ma_sdcard" par exemple) et on clique "Add".
GParted indique alors que l'opération de création de la partition est prête mais est en attente de confirmation ("1 operation pending").
Pour confirmer la création, on clique le bouton vert ("Apply All Operations").
On confirme en cliquant "Apply".
GParted confirme le bon déroulement de l'opération. On clique "Close".
GParted fait alors apparaître que la SD Card présente une partition au format FAT32 appelée "ma_sdcard" et de taille 14,84 Go.
La SD card est désormais prête à utilisée pour y copier une version de Raspbian.
3) Télécharger le fichier Raspbian au format zip
Pour télécharger une version de Raspbian on se connecte sur le site de la Fondation Raspberry Pi et on clique le menu "Downloads" puis "Raspbian".
Dans la page qui s'ouvre on sélectionne (par exemple) une version de raspbian sans logiciels complémentaires (version Raspbian Buster with desktop du 26.09.2019 à la date d'écriture de ces lignes) que l'on télécharge au format compressé zip.
Une fois téléchargé, le fichier 2019-09-26-raspbian-buster.zip présente une taille de 1,1Go.
4) Dézipper le fichier raspbian
Avec l'explorateur de fichier, on se place sur le nom du répertoire dans lequel on a téléchargé le fichier "2019-09-26-raspbian-buster.zip" (répertoire "/home/pi/Downloads"). on clique droit sur le nom de ce répertoire et on clique "Open in Terminal".
le terminal s'ouvre alors directement dans ce répertoire.
Remarque : si on obtient un message d'erreur du type "terminal emulator is not set" cela signifit que le Terminal de commande de Raspbian (lxterminal) n'est pas déclaré dans les préférences de l'explorateur de fichier.
Dans ce cas, on ouvre l'explorateur de fichier, on choisit le menu "Edit/Preferences"
La boite de dialogue "Preferences" de l'explorateur de fichier s'ouvre. Dans l'onglet "Advanced", on saisit "lxterminal" dans le champs "terminal emulator" puis on clique le bouton "Close". Normalement les choses doivent ainsi rentrer dans l'ordre.
On saisit la commande suivante et l'extraction du fichier image de Raspbian commence aussitôt
$ 7z e 2019-09-26-raspbian-buster.zip
Elle dure environ 5 mn.
Remarque : pour que l'extraction puisse se dérouler entièrement et sans erreur, il faut naturellement
que le répertoire de destination dispose de la place nécessaire pour pouvoir accueillir les fichiers (envrion 3,6 Go pour le fichier décompressé dans le cas présent, en plus des 1,1Go du fichier zip....)
a défaut, l'extraction s'interrompt et on obient un message d'erreur E_FAIL 1 error !
Si tout se déroule normalement, le message "Everything is ok" s'affiche à la fin de l'opération.
Le fichier image de Raspbian (2019-09-26-raspbian-buster.img) se trouve alors dans le répertoire "/home/pi/Downloads" à coté du fichier 2019-09-26-raspbian-buster.zip.
5) Installer Raspbian sur la SD Card
Pour installer Raspbian sur la SD Card, il faut copier sur cette carte le fichier 2019-09-26-raspbian-buster.img obtenu précédemment. En réalité, il ne s'agit pas ici d'une simple copie du fichier image sur la SD Card (en faisant un "copier coller") mais il s'agit de créer une SD Card bootable à partir du fichier image. Pour effectuer cette tâche on utilise le logiciel Gnome disk utility présenté ci-dessus.
On clique "Framboise/Accessoires/Disks" afin de lancer le logiciel Gnome disk utility
Dans la fenêtre qui s'ouvre, on sélectionne la SD Card situé dans la clef USB (et non pas la SD card du Raspberry Pi contenant le système d'exploitation Raspbian en marche...). Puis on clique l'option "Restore Disk Image".
Dans la fenêtre qui s'ouvre, on sélectionne le fichier image 2019-09-26-raspbian-buster.img (se trouvant dans le répertoire "/home/pi/Downloads") puis on clique "Start Restoring..."
Une boite de dialogue nous demande de confirmer. On clique "Restore".
Une boite de dialogue nous demande de nous authentifier. On saisit le mot de passe de l'utilisateur pi et on clique OK.
L'écriture du fichier image de Raspbian sur la SD Card commence aussitôt. Une barre de progression indique l'état d'avancement de l'écriture.
L'écriture dure environ 3mn. Lorsqu'elle est terminée, la structure de la SD Card s'affiche.
On ferme alors le logiciel Gnome disk utility;
On éteint le raspberry pi;
On récupère la SD Card;
Celle-ci est alors prête à être utilisée.
6) Utiliser la SD card
On effectue les opérations suivantes dans l'ordre indiqué :
1) on éteint le Raspberry Pi destiné à accueillir la SD Card;
2) on insère la SD Card dans le slot du Raspberry Pi prévu à cet effet;
3) on allume le Raspberry Pi et on attend que Raspbian s'auto installe dans sa configuration finale...
Remarque importante:
à la fin de l'opération 2, raspbian n'est pas opérationnel sur la SD Card. Seule une image bootable de Raspbian est installée sur cette carte.
Il ne faut donc surtout pas éteindre le Raspberry Pi pendant le déroulement de l'opération 3 car pendant cette opération Raspbian s'auto installe automatiquement dans sa configuration finale.
Une coupure prématurée conduirait à devoir tout recommencer depuis le début de l'étape 2 (Formater la SD Card)...
Pendant cette opération, l'écran est tout d'abord entièrement noir puis au bout de quelques secondes apparaissent 4 framboises en haut à gauche.
Puis l'écran prend une couleur bleu et une boite de message s'affiche indiquant "Resized root filesystem. Rebooting in 5 seconds ..."
On voit alors défiler quelques lignes à l'écran puis l'écran d'accueil de Raspbian s'affiche. Raspbian est alors complètement installé et opérationnel.
