====== Raspberry Pi ====== ===== Introduction ===== 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. ===== Système de développement ===== Pour développer mes application, j'utilise un ordinateur PC avec un système d'exploitation gratuit basé sur Linux. Il s'agit de [[http://www.ubuntu-fr.org/|Ubuntu]], version 12.04 LTS. Tout ce qui suit, sauf mentions contraires, sera effectué à partir de cet environnement. ===== Carte SD ===== 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. ==== Copie d'une image du système d'exploitation ==== * 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]] ==== Créer une image de la carte SD ==== 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