Le RaspBerry Pi

Le modèle actuel est le Raspberry Pi 3, ainsi qu’un modèle économique (Raspberry Pi Zero) pour 5 dollars.

Toute une communauté s’est créée autour du RPI, inventant :

• de nombreuses applications peu coûteuses :
  • serveur dédié (serveur de fichiers accessible par wifi)
  • Domotique : piloter tout l’électroménager depuis le réseau par des serveurs RPI
  • etc.
• des trucs et astuces
• des plugins
• etc.

Processeur

Broadcom BCM2836 Arm7 Quad Core cadencé à 900 MHz

RAM

1 Go

compatibilité

compatible avec les modèles précédents de RPI, que ce soit au niveau logiciel ou au niveau physique

compatible avec Windows 10

ports, sorties et prises

• 1 port GPIO étendu à 40 pins, 100% compatible avec les modèle B+ et A+. Les 26 premières broches sont identiques à celles des modèles A et B
• 4 ports USB 2.0 ; les ports USB peuvent fournir jusqu’à 1,2 A (possibilité de connexion directe au RPI de périphériques alimentés par le port USB)
• 1 port Ethernet 10/100 Mbits
• Source d’alimentation Micro USB 5V, 2 Amp (type chargeur de téléphone)
• 1 sortie vidéo + audio analogique via un connecteur jack 4 pt
• 1 prise HDMI
• 1 connecteur Micro SD pour le système d’exploitation et le stockage de données
• 1 Port CSI pour connecter une caméra ou un écran tactile au RPI

Système d’exploitation

Le RPI supporte :

Raspbian, une version adaptée de Linux Debian

d’autres systèmes : Pidora, OpenElec, RaspBMC, RISC OS, Arch Linux… et même Windows 10

Le RPI utilise une carte µSD comme disque dur pour le système d’exploitation (le plus souvent, Raspbian).

Le RPI est livré nu. Il faut lui adjoindre :

• une carte micro-SD, classe 4 ¹⁾ de 8Go au moinsCliquez pour voir des conseils standard : 16 Go ; un peu de multimédia : 32 Go ; stockage de films : 64 Go
• un câble Ethernet pour mettre le RPI en réseau en le branchant sur un routeur (une box le plus souvent)
• une alimentation micro-USB d’au moins 5V 2 A (par exemple un chargeur pour téléphone portable)

Et facultativement :

• un câble HDMI/HDMI, HDMI/DVI ou un câble vidéo/audio jack 4 pt pour des TV ou des moniteurs avec entrée HDMI ou DVI (inutile de se ruiner en moniteur, la TV suffit)
• un clavier / souris
• un hub USB avec alimentation séparée

(d’après Installer une carte SD Raspberry avec Raspbian sous GNU/Linux)

Pour cela, vous aurez besoin :

• d’une carte SD
• d’un PC sous Linux
• d’un lecteur de carte microSD (interne ou externe, si possible multi-formats).

Si vous ne possédez pas de PC sous Linux, vous pouvez utiliser une Live Distribution sur une clef USB (si possible usb3 avec une très bonne vitesse)

Téléchargez le fichiez zip de Raspbian ici : http://downloads.raspberrypi.org/raspbian_latest. Dézippez-le pour obtenir un fichier *.img

Enregistrez-la où vous voulez sur le PC (par défaut dans le dossier ~/Téléchargements)

Insérez la carte micro-SD dans un lecteur de carte. Linux ne monte pas toujours automatiquement la carte SD.

Repérez la carte SD (/dev/sdX ou /dev/mmX) :

• soit avec l’utilitaire Disques en examinant les propriétés de la carte micro-SD.
• soit en lançant sudo ls -ltr /dev/* pour lister les dev ; le nom de votre carte devrait apparaître dans les derniers résultats, de la forme mmX, ou sdX (X étant les numéros de partition).

Il est possible que vous ayez plusieurs fois le même nom, avec un chiffre à la fin (ex. : sdb, sdb1).

La carte à utiliser pour la commande suivante est celle sans chiffre à la fin (ex. : sdb), c’est-à-dire la carte entière, et non pas une de ses partitions.

Notez le nom de la clé sans numéro de partition (ex. : sdb et non sdb1).

Copiez Raspbian sur la carte SD, en utilisant la commande :

• sudo dd bs=1M if=chemin_vers_le_img_de_raspbian of=/dev/sdX

L’écriture de Raspbian sur la carte SD peut être longue, c’est normal.

Plus simple : utilisez l’utilitaire graphique Etcher à télécharger sur https://etcher.io/ qui vous indiquera le déroulement de l’opération et qui fera une vérification.

Quand le terminal vous rend la main, pour activer SSH, Créez un fichier ssh ³⁾ dans le répertoire /boot/. Le contenu du fichier n’a pas d’importance : il peut contenir un texte ou même rien du tout.

Lorsque le Pi démarre, il recherche ce fichier ; s’il le trouve, il active SSH puis supprime le fichier.

Vous pouvez retirer votre carte SD : Raspbian est installé dessus.

voir la page Raspbian : Installer une carte SD Raspberry avec Raspbian sous GNU/Linux

et Installation du système du Rpi avec BerryBoot

Pour connaître l’IP du PC sur lequel vous travaillez, lancez ifconfig :

• ifconfig

Pour retrouver l’adresse de la RPI, lancez nmap :

• sudo nmap 192.168.0.*

Repérez les lignes concernant la Raspberry :

Téléchargez Vnc viewer sur https://www.realvnc.com/download/viewer/

1. Choisissez votre système d’exploitation
2. choisissez le binaire correspondant à votre système
3. téléchargez sur le bureau ; c’est un exécutable sans installation

Lancez Vnc viewer et connectez-vous en VNC au RPI en remplissant l’adresse IP du RPI puis ↵ Entrée :

L’écran du RPI apparaît :

1. Choisissez la langue et le clavier français
2. cochez Raspbian
3. cochez Data Partition
4. cliquez sur le bouton Réseaux Wi+Fi et sélectionnez votre réseau ainsi que son mot de passe
   
5. cliquez sur le bouton Installer

Dans le message qui s’affiche, cliquez sur Oui

Quand l’installation est terminée, cliquez sur OK.

La connexion s’interrompt : fermez la fenêtre.

Éteignez la RPI et retirez la carte µSD.

Retournez sur le PC et insérez la carte µSD dans le lecteur.

Allez dans le répertoire boot de la carte µSD, créez un fichier vide nommé ssh

• cd /media/[USER]/boot
  touch ssh

Lancez une session SSH sur l’adresse du RPI sous l’utilisateur pi ⁴⁾ :

• ssh pi@192.168.0.31

Répondez yes à la demande de confirmation de clé pour cette première mise en route :

A la demande de mot de passe, tapez raspberry (réglage d’usine).

En dernière ligne, le prompt confirme que vous n’êtes plus sur la console du pc mais sur celle du RPI.

Choisissez un plan de nommage pour les PCs du réseau, par exemple :

Ouvrir les réglages de la box (pour une freebox : adresse http://mafreebox.freebox.fr).

Un double-clic sur les périphériques réseau :

Un clic droit, sélectionnez “configurer un bail DHCP”

Et attribuez une adresse IP (1)

Nous avons ici choisi l’adresse 192.168.0.31 (31 comme pi=3.14 .

Sur chaque PC du réseau (ici, pc1), ouvrez avec les droits d'administration le fichier /etc/hosts pour le modifier comme ceci :

/etc/hosts

127.0.0.1	localhost.localdomain	localhost	pc1
...
192.168.0.1	pc1
192.168.0.2	pc2
192.168.0.31	framboise

pc1

nom réseau du PC sur lequel on travaille

pc2, framboise, etc.

autres PCs

La première ligne nomme le PC sur lequel on est ; les dernières lignes nomment toutes les machines du réseau.

Voir Serveur DNS : unbound

Avant de brancher le disque, lister les partitions du Rpi en lançant :

• sudo blkid

Brancher le disque dur sur une prise usb de la Rpi. Il se monte tout seul avec des paramètres génériques. Relancer :

• sudo blkid

  

Les lignes apparues correspondent aux partitions du disque ⁵⁾

Pour connaître les tailles des partitions, lancer :

• sudo df -h

  Notre partition est de type ext4 et a une taille 16 Go.

Créer les répertoires pour monter le disque :

• sudo mkdir -p /disk/{data|Rpi-data|Reservoirs}

Éditer le fichiers /etc/fstab :

• sudo nano /etc/fstab

Modifiez l’UUID et le point de montage :

/etc/fstab

(...)
UUID=85...42     /disk/data    ext4    defaults    0    2
(...)

Ajouter une ligne pour chaque partition du disque :

• pour une partition ntfs :

# Reservoirs (/dev/sda3)
UUID=655Axxxxxxxxxxx   /disk/reservoirs       ntfs-3g exec,permissions,auto   0       0

• pour une partition ext4 :

# pidata (/dev/sda2)
UUID=4e78xxxxxxxxxxx	/disk/pidata	ext4	defaults	0	0

Lancez le montage de toutes ces partitions :

• sudo mount -a

Pour rendre propriétaires l’utilisateur pi et le groupe pi,

• sudo chown -R pi:pi /disk/pidata/
  sudo chown -R pi:pi /disk/pidata

Redémarrer la RPI (cela coupe le ssh)

• sudo reboot

et vérifier que le disque se monte correctement :

• cd /media/owncloud
  ls -al

Désormais, la RPi monte son disque au démarrage.

1. Ouvrez avec les droits d’administration le fichier /etc/apt/sources.list et changez wheezy en jessie dans la première ligne, ce qui donne :

   /etc/apt/sources.list

   deb http://mirrordirector.raspbian.org/raspbian/ jessie main contrib non-free rpi

2. Ouvrez avec les droits d’administration le fichier /etc/apt/sources.list.d/raspi.list. Changez wheezy en jessie dans la première ligne et ajoutez “ ui” à la fin de cette ligne, ce qui donne :

   /etc/apt/sources.list.d/raspi.list

   deb http://archive.raspberrypi.org/debian jessie main ui

3. Créez le répertoire /home/pi/.config/autostart en tapant dans un terminal

   mkdir /home/pi/.config/autostart

   . (Notez le . devant config.)

4. Tapez dans un terminal

   sudo apt-get update
   sudo apt-get dist-upgrade -y

   pour démarrer le processus de mise à niveau (cela va prendre une paire d’heures). Pour ne pas avoir à répondre aux questions, on utilise -y.

5. Une fois la mise à niveau terminée, redémarrez :

   sudo reboot

   . La session ssh se clôt.

Redémarrez une session ssh. Vous verrez plusieurs messages « Calling CRDA to update world regulatory domain ». Attendez qu’ils se terminent.

Vous pouvez vous connecter à la RPI par SSH ou par VNC.

Le bureau peut prendre plusieurs minutes pour se lancer ; l’écran devient noir, attendez patiemment que cela se termine.