L’installation du système d’exploitation sur le Rapsberry Pi n’est pas très compliquée, voici comment procéder :
Tout d’abord, il vous faudra une carte SD de 8 Go minimum (une carte micro-SD et un adaptateur peuvent très bien faire l’affaire).
- Sous Windows
- Téléchargez l’image de Raspbian « Wheezy » depuis la page de téléchargements de la fondation
- Décompressez l’image présente dans le fichier .zip que vous venez de télécharger. Vous obtenez un fichier « distribution.img »
- Insérez la carte SD dans le lecteur de carte de votre PC, et vérifiez quelle lettre de lecteur lui a été assignée via l’icone « Poste de Travail » (ou « Ordinateur »).
- Téléchargez l’outil Win32DiskImager (c’est également une archive compressée .zip)
- Décompressez l’archive téléchargée et lancez Win32DiskImager en administrateur (clic droit sur le fichier Win32DiskImager.exe -> « Exécuter en tant qu’administrateur »)
- Dans Win32DiskImager, sélectionnez le fichier « distribution.img » que vous avez décompressé au début, dans la boite « Image File »
- Sélectionnez la lettre de votre carte SD dans la boite « Device »
- Cliquez sur le bouton Write et attendez la fin de l’opération
- Quittez l’outil et éjectez la carte SD
- Insérez votre carte SD dans le Raspberry Pi.
Sous Windows, la carte SD apparait d’une capacité très inférieure à la normale, généralement autour de 55 Mo. C’est normal, la partition principale qui est formatée pour Linux n’est pas visible sous Windows.
- Sous Linux (également directement depuis le Pi !)
- Sous Ubuntu avec ImageWriter (interface graphique)
- Téléchargez l’image de Raspbian « Wheezy » depuis la page de téléchargements de la fondation
- Clic droit sur le fichier téléchargé -> « Extraire ici »
- Insérez la carte SD dans le lecteur de carte de votre PC
- Installez l’outil ImageWriter depuis le Centre de Logiciels Ubuntu
- Lancez l’outil ImageWriter (nécessite un mot de passe administrateur)
- Sélectionnez le fichier image que vous avez extrait en 2 (par exemple 2012-10-28-wheezy-raspbian.img)
- Sélectionnez la carte SD (elle devrait être détectée comme « /dev/mmcblk0 », « /dev/sdc » ou quelque chose de ressemblant)
- Cliquez sur le bouton « Write to device »
- Attendez la fin de l’opération, éjectez votre carte SD
- Insérez votre carte SD dans le Raspberry Pi.
- En ligne de Commande
Attention : l’utilisation de l’outil « dd » peut également écrite sur les partitions de votre PC. Si vous sélectionnez le mauvais lecteur lors de la procédure, vous pouvez totalement effacer votre disque dur. Soyez prudent !
- Téléchargez l’image de Raspbian « Wheezy » depuis la page de téléchargements de la fondation
- Décompressez le fichier téléchargé : unzip ~/2012-12-16-wheezy-raspbian.zip
- Exécutez df -h pour vérifier les périphériques actuellement montés
- Insérez la carte SD dans le lecteur de carte de votre PC
- Exécutez de nouveau df -h. Le nouveau périphérique qui n’était pas présent en 3 est votre carte SD, elle sera notée « /dev/mmcblk0p1 », « /dev/sdd1 », ou approchant. Le dernier chiffre (ici « 1 ») est le numéro de la partition, mais nous voulons le nom de la carte. C’est la même chose, mais sans le « 1 » de la partition (donc, dans notre cas : « /dev/mmcblk0 » ou « /dev/sdd »). Notez ce nom. (Il est possible que la carte SD comprenne plusieurs partitions, auquel cas elle apparaitra plusieurs fois dans df -h.)
- Maintenant que vous connaissez le nom de votre carte SD, vous devez la démonter, en remplaçant « /dev/sdd1 » par le nom de votre propre carte SD (en incluant le numéro de partition) : sudo umount /dev/sdd1
- Démontez de la même façon toutes les partitions présentes sur la carte SD, s’il y en a plusieurs
- Ecrivez l’image de Raspbian sur la carte SD, en remplaçant l’option lf= (source) par le chemin vers votre fichier image, et l’option of= (destination) par le nom de votre carte SD (sans numéro de partition) :
- sudo dd bs=4M if=~/2012-12-16-wheezy-raspbian.img of=/dev/sdd
Vérifiez bien la commande, car en cas d’erreur dans la destination, vous risquez d’effacer votre disque dur !!! La commande dd ne donne aucune information de progression, mais l’écriture de l’image devrait prendre plus de 5 minutes. A la place de dd, vous pouvez utiliser dcfldd, qui a un indicateur de progression.
- Lancez la commande sudo sync, afin de vider le cache d’écriture et permettre l’ejection sans risque de la carte SD
- Ejectez votre carte SD et insérez-la dans le Raspberry Pi.
Cet article fait partie d’une série de petits guides concernant le Raspberry Pi. Le sommaire se trouve ici.
