Raspberry Pi

Raspberry Pi est une carte “mini ordinateur”. Beaucoup de sites internet en parlent. Voici son site principal :http://www.raspberrypi.org/.
Plusieurs “parfums” du système Linux ont été adaptés pour cette carte. Une communauté importante contribue à mettre à jour et améliorer la prise en charge de ces systèmes et d'outils permettant de rendre cette carte très polyvalente. De multiples applications peuvent ainsi être développées à titre particulier.

Je vais exposer ici succinctement quelques actions utiles pour son usage. La plus part du temps, il s'agira de reprises d'informations glanées sur internet.

Pour développer mes application, j'utilise un ordinateur PC avec un système d'exploitation gratuit basé sur Linux. Il s'agit de Ubuntu, version 12.04 LTS. Tout ce qui suit, sauf mentions contraires, sera effectué à partir de cet environnement.

Tout le système logiciel de la carte Raspberry Pi est contenu dans une carte SD. Il faut donc l'y installer. Il sera peut être utile d'en copier le contenu si on veux faire une sauvegarde.

• Télécharger une image téléchargée depuis le net :

site = http://www.raspberrypi.org/downloads

• Vérifier l'image :

$ sha1sum 2014-01-07-wheezy-raspbian.zip 
9d0afbf932ec22e3c29d793693f58b0406bcab86  2014-01-07-wheezy-raspbian.zip

Ce numéro hexadécimal doit correspondre à celui indiqué sur la page de téléchargement.

• Décompresser le fichier zip

$ unzip 2014-01-07-wheezy-raspbian.zip

• Vérifier les disques montés :

$ df -h

• Si besoin, insérer une carte SD >= 4 Go. La repérer dans les disques montés en retapant la ligne précédente.

• Démonter toutes les partitions de la carte SD. Exemple :

$ sudo umount /dev/mmcblk0p1
$ sudo umount /dev/mmcblk0p2

• Copier l'image sur la carte SD

$ sudo dd bs=1M if=2014-01-07-wheezy-raspbian.img of=/dev/mmcblk0
2962227200 octets (3,0 GB) copiés, 493,726 s, 6,0 MB/s

• Vider les mémoires tampons de disques du système (c'est plus sûr !) :

$ sudo sync

Pour en savoir plus : http://elinux.org/RPi_Easy_SD_Card_Setup

Utile pour sauvegarde !

• Vérifier les disques montés :

$ df -h

• Repérer la désignation de la carte si elle est déjà insérée. Sinon, insérez en une et retaper la commande précédente. La différence du résultat de la commande donne le nom de la carte (exemple “/dev/mmcblk0p1” ou “/dev/sdd1”) sans la dernière partie correspondant à une partition (“p1” ou “1”).

• Créer l'image :

$ sudo dd if=/dev/mmcblk0 of=image_rpi