Installer Raspbian sur un Raspberry Pi
Le Raspberry Pi est un ordinateur monocarte à processeur ARM, de la taille d'une boite d'allumettes, conçu en 2012 par la
fondation Rasberry Pi
Cet ordinateuri fonctionne parfaitement avec le système d'exploitation gratuit Raspbian (variante de Linux optimisée pour le Raspberry Pi). Le modèle 3 du Raspberry Pi (Raspberry Pi 3) possède la connectivité Wifi et permet de se connecter facilement sur internet. La présente installation de Raspbian a été effectuée sur un Raspberry Pi 3. Elle est très rapide et peut se décomposer selon les 9 étapes suivantes
1) Télécharger les fichiers nécessaires sur un PC
On télécharge sur le PC les 3 fichiers gratuits suivants qu'on trouve sur internet et on les place dans un répertoire existant ( "C:/Documents/RASPBIAN" par exemple):
• sd-card-formatter-4-0-en-win.zip
• win32diskimager-1.0.0-install.exe
• 2017-09-07-raspbian-stretch.zip
Le premier fichier (SD Card Formatter) est un outil capable de formater tous les types de cartes mémoires. Le formattage s'effectue par défaut selon le système de fichiers "FAT32", ce qui convient parfaitement aux cartes de petites tailles (inférieures à 64Go). Avec des cartes de plus grande tailles, il faut utiliser le système de fichiers "exFAT". L'intérêt de cet outil est qu'il formatte directement la carte, en utilisant toute la capacité de cette carte (32Go par exemple), même si plusieurs partitions de différentes tailles et de différents systèmes d'exploitation (Linux, Windows...) existent déjà sur cette carte.
Le second fichier (Win32 Disk Imager) est un outil qui permet de transférer l'image disque d'un système d'exploitation sur une carte mémoire SD. Cet outil transfère automatiquement avec les bons répertoires l'ensemble des fichiers contenus dans l'image disque.
Le troisième fichier (2017-09-07-raspbian-stretch.zip) contient l'image du système d'exploitation Raspbian. L'image d'un système d'exploitation est la sauvegarde complète de la partition bootable de ce système d'exploitation. Cette image contient tous les fichiers (éxécutables, librairies, images, sons, données...) nécessaires au démarrage (boot) et au fonctionnement de ce système d'exploitation.
On dézippe le fichier sd-card-formatter-4-0-en-win.zip et 2017-09-07-raspbian-stretch.zip et on obtient un répertoire "sd-card-formatter-4-0-en-win" contenant le fichier d'installation "setup.exe" de SD Card Formatter. On dézippe également le fichier "2017-09-07-raspbian-stretch.zip" pour obtenir le fichier image "2017-09-07-raspbian-stretch.img" de Raspbian.
2) Installer SD Card Formatter et Win32 Disk Imager
On installe SD Card Formatter et Win32 Disk Imager sur le PC en exécutant respectivement les fichiers "setup.exe" et "win32diskimager-1.0.0-install.exe" et en suivant les procédures d'installation.
2) Préparer la carte micro SD destinée au Raspberry Pi
On utilise de préférence une carte micro SD à lecture rapide, par exemple une Carte Mémoire microSDHC SanDisk Ultra 32GB Classe 10, U1, homologuée A1.
On insère ensuite cette carte dans un adaptateur USB pour carte SD par l'intermédiaire d'un adaptateur SD pour carte microSD. On peut aussi insérer directement la carte micro SD dans un adaptateur USB si ce dernier dispose d'une fente pour carte microSD.
On insère ensuite l'adaptateur contenant la carte micro SD dans un des ports USB du PC.
2) Formatter la carte micro SD
Lancer SD Card Formatter. Sélectionner le drive où se trouve la carte sur le PC (E: par exemple) et cliquer "Format".
La carte est aussitôt formatée sur la totalité de sa capacité de stockage, avec le système FAT32.
2) Copier l'image de Raspbian sur la carte micro SD
Lancer Win32 Disk Imager, sélectionner le fichier image 2017-09-07-raspbian-stretch.img" de Raspbian ainsi que le lecteur où se trouve la carte microSD (E: par exemple) puis cliquer "Ecrire"
Un boite de dialogue s'ouvre demandant de confirmer l'opération. Cliquer "Yes"
Suivre la progression de l'écriture de l'image de Raspbian sur la carte microSD.
A la fin de cette écriture qui dure moins de 5 minutes, cliquer "OK".
Raspbian est alors correctement installé sur la carte micro SD. Retirer la clef USB de l'ordinateur.
6) Insérer la carte microSD dans le raspberry pi
Insérer la carte microSD dans la fente qui se trouve située sous le raspberry pi. Brancher un clavier et une souris dans deux des quatre ports USB du Raspberry PI. Brancher un écran par l'intermédiaire du cable HDMI.
7) Démarrer Raspbian
Brancher le cordon secteur du Raspberry Pi. L'image de bienvenue de Raspbian s'affiche brièvement à l'écran.
aussitôt suivie de la page principale de Raspbian.
8) Configurer le clavier français
Au départ le clavier n'est pas configuré pour le français (AZERTY) mais pour l'anglais (QWERTY). Pour configurer le clavier en AZERTY, cliquer le bouton de menu principal en forme de framboise situé en haut à gauche puis cliquer "Preferences/Mouse and Keyboard Settings"
Cliquer "Keyboard Layout" puis choisir l'option "France" puis cliquer "OK".
9) Accéder à internet avec Raspbian
Cliquer sur l'icone qui contient deux croix rouges et est situé en haut à droite de l'écran. Dans le menu déroulant qui s'ouvre, cliquer la ligne contenant le nom de la box internet concernée.
Saisir la clef wifi de la box dans la zone de texte "Pre Shared Key" puis cliquer "OK".
Si la clef wifi saisie est coorecte, l'icone se transforme aussitôt en un signal de réception bleu qui indique quela connexion de Raspbian à internet est désormais active.
Utiliser le navigateur internet de Raspbian en cliquant le bouton bleu en forme de mapemonde qui est situé à droite du bouton en forme de framboise l(ui même situé en haut à gauche). cliquer le bouton "Shutdown" pour éteindre l'ordinateur.
