Pages persos Eric Meyer

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.
====== 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