RaspBerry Pi: Installation de l'OS

Bon en fait, c'est relativement simple si on suit bien les tutoriels de https://www.raspberrypi.org.

Pour ceux qui ne seraient pas fan de l'anglais, voici les manipulations que j'ai faites en suivant strictement les tuto. Pour rappel, je suis sur OSX, c'est donc cette version que je "traduis".

Matériel nécessaire

Très limité:

• une carte SD
• l'image de l'OS que vous voulez déployer.

Pour ne pas me sentir à l'étroit, j'ai pris une 8Gb.
Cette carte est normalement prête à l'emploi: elle est en FAT32, ce qui est parfait pour ce que nous voulons faire.

Procédure

Comme je l'ai dit, ce n'est pas très compliqué, mais il faut quand même un minimum de compréhension de la ligne de commande.

1. Introduire la carte dans le lecteur de carte
2. Aller dans le menu Pomme, cliquer sur "A propos de ce Mac", "Plus d'infos...", "Rapport système...".
3. Dans la liste du matériel, aller dans USB (ou dans Lecteur de carte si le lecteur est interne) et chercher la carte SD. Prendre note du "Nom BSD", exemple disk4.
4. Lancer l'Utilitaire de disque, cliquer sur la carte SD puis la démonter. Ne pas l'éjecter sinon, il faudra recommencer au point 1)
5. Lancer l'application Terminal
6. Taper la ligne de commande suivante:
   

   sudo dd bs=1m if=chemin_de_l_image.img of=/dev/rdiskn

   en veillant à bien mettre
   après if= le chemin de l'image (astuce: prenez l'image dans le finder et glissez-la sur la fenêtre du terminal)
   et à remplacer /dev/rdiskn par le numéro de votre carte SD. Dans mon exemple plus haut, j'avais disk4 -> /dev/rdisk4
7. Aller boire un coup ou deux, ça prend du temps.
8. Voilà, votre carte est prête. Insérez-la dans le RPi et branchez l'alim.

 Je n'ai rien sur mon écran !!!

En tout cas, moi, j'ai eu le soucis. Il semble que ce soit dû à l'HDMI. Je ne suis pas spécialiste à ce sujet, mais dans certains cas, le RPi n'enverrait pas un signal assez fort pour que l'écran le détecte.
Si c'est votre cas, suivez cette procédure, elle a marché pour moi.

Procédure HDMI

1. Eteindre le RPi
2. Prendre la carte SD et la mettre dans le lecteur de carte de l'ordinateur.
3. Ouvrir le disque "boot"
4. Editer le fichier config.txt
5. Chercher la ligne #hdmi_force_hotplug=1
6. Retirer le #
7. Chercher la ligne #config_hdmi_boost=4
8. Retirer le #
9. Sauver le fichier
10. Ejecter la carte et la remettre dans le RPi
11. Brancher l'alim.

Je ne peux pas garantir que cela marchera pour tout le monde, mais chez moi, ça a marché.
Bonne chance !

Sources

https://www.raspberrypi.org/documentation/installation/installing-images/README.md
http://raspbian-france.fr/hdmi-raspberry-pi-marche-pas-solution/