orgmode-to-gemini-blog/sources/cipherbliss_blog/lang_fr/20140728T093301__installer-une-distribution-linux-sur-une-carte-sd-pour-le-raspberry-pi.org
2024-11-19 13:49:39 +01:00

3.1 KiB

installer-une-distribution-linux-sur-une-carte-sd-pour-le-raspberry-pi

installer une distribution linux sur une carte SD pour le raspberry pi

[[http://th00.deviantart.net/fs70/300W/f/2011/191/d/5/raspberry_by_a_place4my_head-d3lmnad.jpg]]

Possédant un raspberry Pi je voulais essayer plusieurs distributions linux de poche dessus.Ce microcontrolleur ne pouvant pas démarrer sans carte SD à l'intérieur je devais donc installer un fichier .img dessus à partir d'un autre ordi.vous aurez besoin de:

Cette opération supprime les données de la carte SD.

insérez votre carte SD dans le lecteur de votre ordi.ouvrez un terminal.repérez le nom de la partition de votre carte SD avec la commande df -h qui liste les disques de votre système de fichier(vous la trouverez en comparant son nombre de Gigas)

par exemple, ma carte a deux partitions physiques dessus /dev/sdg1 et */dev/sdg2*Nous choisirons donc /dev/sdg , l'appellation commune à toute la carte SD.Vous n'avez pas besoin de démonter la carte SD pour pouvoir installer votre distrib, et c'est ce que nous allons faire avec la commande suivante.vous aurez besoin de connaitre le chemin de votre fichier .img que vous voulez installer, par exemple /home/tykayn/téléchargements/raspbian.img

et zou, dd (convertir et copier un fichier) va nous permettre l'install et la création des partitions requises en lui renseignant l'input file (if="/home/tykayn/téléchargements/raspbian.img") et l'output file (of="/dev/sdg"). Sacré dédé!=sudo dd if="/media/ntfsman/ArchLinuxARM-2014.06-rpi.img" of="/dev/sdg"=(il faudra entrer le mot de passe sudo)

Si vous avez bien choisi vos fichiers ça prendra quelques minutes pour une distribution de 200Mo et votre terminal vous dira ce qu'il a fait. Par exemple:

3829760+0 enregistrements lus3829760+0 enregistrements écrits1960837120 octets (2,0 GB) copiés, 513,805 s, 3,8 MB/s

Et voilà, si votre fichier .img était bon, vous n'avez qu'a mettre votre carte SD dans le raspberry pi, (avec ses autres cables), brancher le courant et hopla magie ça démarre.