Le Raspberry Pi 3 : installation de Raspbian, une distribution Linux
Table des matières:
- Téléchargement de Raspbian OS
- Préparation de la carte SD
- les fenêtres
- Linux
- macOS
- Écrire l'image
- Conclusion
Le Raspberry Pi est l'ordinateur monocarte le plus populaire de tous les temps. Il peut être utilisé à diverses fins telles que PC de bureau, centre multimédia domestique, routeur WiFi intelligent, système d'automatisation et serveur de jeux. Les cas d'utilisation sont infinis.
Si votre Raspberry Pi est livré sans carte SD préchargée avec NOOBS, vous devrez installer et installer manuellement un système d'exploitation sur votre carte SD. Vous pouvez exécuter de nombreux systèmes d'exploitation différents sur Raspberry Pi, y compris diverses distributions Linux telles que Arch Linux, Windows 10 IoT et FreeBSD.
Raspbian est le système d'exploitation recommandé par la Fondation Raspberry Pi. Il est basé sur Debian, spécialement conçu pour les cartes Raspberry Pi. Raspbian est livré préinstallé avec une pléthore de logiciels pour le développement, l'éducation et le multimédia, ce qui en fait le meilleur système d'exploitation polyvalent pour les utilisateurs de Raspberry Pi.
L'installation de Raspbian est aussi simple que d'écrire le fichier image du système d'exploitation sur la carte SD. Dans ce tutoriel, nous allons vous montrer comment formater la carte SD, flasher l'image Raspbian et démarrer le Raspberry Pi.
Téléchargement de Raspbian OS
Visitez la page de téléchargement de Raspbian où vous pouvez trouver des liens de téléchargement pour:
- Raspbian Stretch avec ordinateur de bureau et logiciels recommandésRaspbian Stretch avec ordinateur de bureauRaspbian Stretch Lite
Préparation de la carte SD
Avant de flasher l'image sur la carte micro SD, vous devez d'abord la formater au système de fichiers FAT32.
Le chargeur de démarrage du Raspberry Pi prend en charge la lecture uniquement à partir des systèmes de fichiers FAT. Si votre carte SD de 64 Go ou plus, assurez-vous qu'elle est formatée en FAT32 et non en exFAT.
Notez que le formatage est un processus destructeur et qu'il effacera toutes les données existantes. Si vous avez des données sur la carte SD, vous devez d'abord les sauvegarder.
les fenêtres
Les utilisateurs de Windows peuvent formater la carte à l'aide de la gestion de disque standard.
- Insérez la carte SD dans votre lecteur de carte SD Windows. Dans la zone de recherche Windows, tapez "Disque" et sélectionnez "Créer et formater des partitions de disque dur" dans la zone de résultats. Faites un clic droit sur l'espace non alloué de la carte et lancez l'assistant en cliquant sur «Nouveau volume simple». Cliquez sur «Suivant». Ensuite, il vous sera demandé la taille du volume. Laissez l'espace disque maximal par défaut. Cliquez sur "Suivant". Vous serez invité à spécifier le chemin de montage, cliquez simplement sur "Suivant". Dans la fenêtre suivante, sélectionnez FAT32 comme système de fichiers. Cliquez sur «Suivant» puis sur «Terminer» pour terminer la création de la partition. Si la carte fait 64 Go ou plus, l'option FAT32 ne sera pas disponible. Sélectionnez exFAT et terminez le processus. Pour formater la carte SD en FAT32, visitez la page Format FAT32 où vous pouvez télécharger l'outil en cliquant sur l'image. Un seul fichier nommé
guiformat.exesera téléchargé. Double-cliquez simplement sur le fichier exe, sélectionnez un lecteur à formater et cliquez sur «Démarrer». La carte sera formatée en FAT32 en quelques secondes.
Linux
Sous Linux, vous pouvez utiliser un outil graphique comme GParted ou un outil de ligne de commande tel que fdisk ou parted pour créer une partition et formater le lecteur.
-
Insérez la carte SD dans votre lecteur de carte SD Linux.
Découvrez le nom de votre carte SD avec la commande
lsblk:lsblkNAME MAJ:MIN RM SIZE RO TYPE MOUNTPOINT… sdb 8:16 1 59.6G 0 disk…Dans ce cas, le nom du périphérique SD est
/dev/sdbmais cela peut varier sur votre système. La meilleure façon d'identifier le nom est de vérifier la taille de l'appareil.L'étape suivante consiste à formater la carte à l'aide de parted:
sudo parted /dev/sdb --script -- mklabel msdossudo parted /dev/sdb --script -- mkpart primary fat32 1MiB 100%Formatez la partition en FAT32:
sudo mkfs.fat -F32 /dev/sdb1
macOS
Les utilisateurs de macOS peuvent formater la carte SD avec l'utilitaire de disque standard ou à partir de la ligne de commande.
-
Insérez la carte SD dans votre lecteur de carte SD macOS.
Tapez la commande suivante dans la fenêtre du terminal pour identifier le nom de la carte SD:
sudo diskutil listFormatez la carte SD en FAT32 en exécutant la commande suivante:
sudo diskutil eraseDisk FAT32 RPI MBRFormat /dev/disk2Assurez-vous que vous utilisez le bon lecteur.
Écrire l'image
Il existe plusieurs applications différentes disponibles pour une utilisation gratuite qui vous permettront de flasher des images ISO sur des cartes SD. Dans ce tutoriel, nous utiliserons Etcher.
Etcher est un utilitaire gratuit et open-source pour flasher des images sur des cartes SD et des lecteurs USB et prend en charge Windows, macOS et Linux.
Rendez-vous sur la page des téléchargements Etcher, téléchargez le plus récent Etcher pour votre système d'exploitation et installez l'application.
-
Insérez la carte SD dans votre lecteur de carte SD et lancez Etcher.
Cliquez sur le bouton Sélectionner une image et recherchez le fichier zip Raspbian. Si vous avez téléchargé le fichier à l'aide d'un navigateur Web, il doit être stocké dans le dossier Téléchargements situé dans votre compte d'utilisateur. Etcher sélectionne automatiquement la carte SD si un seul lecteur est présent. Sinon, si plusieurs cartes SD ou clés USB sont connectées, assurez-vous d'avoir sélectionné le bon lecteur avant de flasher l'image.


De là, vous pouvez modifier le mot de passe utilisateur pi, configurer le WiFi et étendre le système de fichiers.
Conclusion
L'installation de Raspbian sur Raspberry Pi est un processus assez simple. Fondamentalement, tout ce que vous devez faire est d'écrire l'image sur la carte SD et de démarrer le Raspberry Pi.
tarte aux framboises
Comment installer Windows 10 iot preview sur Raspberry Pi 2
Apprenez à installer Windows 10 IoT Preview sur Raspberry Pi 2 dans ce guide étape par étape.
Comment installer et utiliser Docker sur Raspberry Pi
Dans ce didacticiel, nous allons expliquer comment installer Docker sur Raspberry Pi et explorer les concepts et commandes de base de Docker.
Comment installer Arch Linux sur Raspberry Pi
Dans ce didacticiel, nous allons vous montrer comment configurer Arch Linux ARM sur Raspberry Pi. Installer Arch Linux est aussi simple que de créer deux partitions et de copier les fichiers du système d'exploitation sur la carte SD.









