Ressources::RaspberryPi
Notes d'introduction
Objectif de cette page
Cette page a pour objectif de rassembler différentes "recettes" techniques propres à l'utilisation d'un Raspberry Pi. Elle constitue un support pour les cours et formations relatifs aux Raspberry Pi donnés notamment à l'ERG (Ecole de Recherche Graphique, Bruxelles) et à iMAL (Center for digital cultures and technology). Si beaucoup de ces recettes peuvent convenir à d'autres appareils et d'autres systèmes d'exploitation, cette page se focalise sur des manipulations précises liées à une version précise d'un appareil précis (qui utilise un système d'exploitation précis), en l'occurence l'appareil et le système d'exploitation énoncés ci-dessous.
Spécificités techniques
Les recettes présentes sur cette page sont liées au Raspberry Pi 3B ou 3B+, avec le système d'exploitation Raspbian Stretch.
Configurer le Raspberry Pi
Préparer la carte SD
- Télécharger la dernière version de Raspbian ici: [1]
Flasher la carte en utilisant l'outil Etcher avec Linux, Mac OS ou Windows
- Télécharger Etcher ici: [2]
- Lancer Etcher
- Insérer la carte SD dans l'ordinateur (ou dans un lecteur de carte externe)
- Sélectionner l'image disque de Raspbian téléchargée
- Sélectionner le disque à flasher
- Cliquer sur "Flash"
Flasher la carte en utilisant l'outil dd avec Linux ou Mac OS
- Décompresser le fichier zip contenant l'image de Raspbian à flasher sur la carte. Le fichier résultant doit avoir l'extension .img.
- Ouvrir le terminal de l'ordinateur
- Identifier les lecteurs de disques connectés à l'ordinateur
lsblk
- Insérer la carte sd et lancer à nouveau la commande lsblk. Un élément supplémentaire devrait apparaitre, il s'agit de la carte sd, dont la référence est affichée (exemple: /dev/mmcblk0)
- Insérer la commande suivante en prenant soin de remplacer l'adresse de l'image de Raspbian (après if=) et l'adresse de la carte sd (après of=).
dd bs=4M if=2018-04-18-raspbian-stretch.img of=/dev/mmcblk0 status=progress conv=fsync
Configurer le Raspberry Pi pour une connexion distante
Le but ici est de pouvoir accéder au raspberry via un terminal sur un ordinateur connecté au même réseau wifi, en indiquant simplement le nom du raspberry sans préciser son adresse ip. Pour que la reconnaissance du nom fonctionne, il faut que le paquet avahi-daemon soit installé sur le raspberry (c'est le cas par défaut pour les versions les plus récentes de raspbian). Et que "bonjour" (windows) ou avahi-daemon (linux) soit installé sur l'ordinateur.
Avec un écran hdmi, un réseau wifi et un clavier
- Brancher l'écran, brancher le clavier, connecter la prise d'alimentation au raspberry.
- Ouvrir le terminal
- Naviguer jusqu'au dossier "wpa_supplicant" du raspberry
cd /etc/wpa_supplicant
- Lister le contenu du dossier à l'aide de la commande
ls
Le fichier wpa_supplicant.conf devrait apparaitre.
- Modifier ce fichier en tapant
sudo nano wpa_supplicant.conf
- Dans l'éditeur qui vient de s'ouvrir, ajouter à la fin:
network={ ssid="réseau wifi" psk="mot de passe wifi" }
- Sauvegarder et quitter (Ctrl + x)
- Naviguer jusqu'au dossier "etc" de la partition root de la carte SD
cd /media/utilisateur/root/etc/
- Modifier le fichier "hosts" en tapant
sudo nano hosts
- Modifier le nom du raspberry à la fin du fichier, donc remplacer
127.0.1.1 raspberrypi
par
127.0.1.1 lenomdevotreraspberry
- Sauvegarder et quitter (Ctrl + x)
- Modifier le fichier "hostname" en tapant
sudo nano hostname
- Modifier le nom du raspberry à la fin du fichier, donc remplacer
raspberrypi
par
lenomdevotreraspberry
- Sauvegarder et quitter (Ctrl + x)
- Redémarrer le raspberry avec la commande
sudo reboot
(Linux ou Mac OS) Sans écran, sans clavier, avec un réseau wifi et un ordinateur
- Insérer la carte SD du raspberry dans l'ordinateur
- Avec le terminal, naviguer à la racine de la partition "boot" de la carte SD
cd /media/utilisateur/boot/
- Ajouter un fichier nommé "ssh" à cet endroit en root
sudo touch ssh
- Naviguer ensuite jusqu'au dossier "wpa_supplicant" de la partition "rootfs" de la carte SD
cd /media/utilisateur/rootfs/etc/wpa_supplicant
- Lister le contenu du dossier à l'aide de la commande
ls
Le fichier wpa_supplicant.conf devrait apparaitre.
- Modifier ce fichier en tapant
sudo nano wpa_supplicant.conf
- Dans l'éditeur qui vient de s'ouvrir, ajouter à la fin:
network={ ssid="réseau wifi" psk="mot de passe wifi" }
- Sauvegarder et quitter (Ctrl + x)
- Naviguer jusqu'au dossier "etc" de la partition rootfs de la carte SD
cd /media/utilisateur/root/etc/
- Modifier le fichier "hosts" en tapant
sudo nano hosts
- Modifier le nom du raspberry à la fin du fichier, donc remplacer
127.0.1.1 raspberrypi
par
127.0.1.1 lenomdevotreraspberry
- Sauvegarder et quitter (Ctrl + x)
- Modifier le fichier "hostname" en tapant
sudo nano hostname
- Modifier le nom du raspberry à la fin du fichier, donc remplacer
raspberrypi
par
lenomdevotreraspberry
- Sauvegarder et quitter (Ctrl + x)
- Ejecter la carte SD de l'ordinateur, insérer la carte dans le raspberry et connecter la prise d'alimentation au raspberry. Le raspberry devrait se connecter automatiquement au réseau wifi au prochain démarrage
- Pour pouvoir y accéder via l'ordinateur taper dans le terminal "ssh pi@lenomdevotreraspberry.local"
- Le mot de passe pour se connecter est par défaut "raspberrypi"
(Windows) Sans écran, sans clavier, avec un cable ethernet, un réseau wifi et un ordinateur
- Sur l'ordinateur portable, installer "Bonjour for windows" (à télécharger à l'adresse https://support.apple.com/kb/DL999)
- Sur l'ordinateur portable, installer le client SSH "Putty" (à télécharger à l'adresse https://the.earth.li/~sgtatham/putty/latest/x86/putty.exe)
- Raccorder le cable ethernet à l'ordinateur portable et au raspberry.
- Connecter la prise d'alimentation au raspberry.
- Ouvrir putty et entrer "raspberrypi.local" dans le champ "hostname".
- Cliquer sur "Open". Un terminal devrait s'ouvrir.
- Taper "pi" après la mention "login as"
- Taper "raspberrypi" comme mot de passe
- Naviguer jusqu'au dossier "wpa_supplicant" du raspberry
cd /etc/wpa_supplicant
- Lister le contenu du dossier à l'aide de la commande
ls
Le fichier wpa_supplicant.conf devrait apparaitre.
- Modifier ce fichier en tapant
sudo nano wpa_supplicant.conf
- Dans l'éditeur qui vient de s'ouvrir, ajouter à la fin:
network={ ssid="réseau wifi" psk="mot de passe wifi" }
- Sauvegarder et quitter (Ctrl + x)
- Naviguer jusqu'au dossier "etc"
cd /etc/
- Modifier le fichier "hosts" en tapant
sudo nano hosts
- Modifier le nom du raspberry à la fin du fichier, donc remplacer
127.0.1.1 raspberrypi
par
127.0.1.1 lenomdevotreraspberry
- Sauvegarder et quitter (Ctrl + x)
- Modifier le fichier "hostname" en tapant
sudo nano hostname
- Modifier le nom du raspberry à la fin du fichier, donc remplacer
raspberrypi
par
lenomdevotreraspberry
- Sauvegarder et quitter (Ctrl + x)
- Redémarrer le raspberry avec la commande
sudo reboot
- Fermer putty, débrancher le cable ethernet.
- Lorsque le raspberry a redémarré, ouvrir à nouveau putty et entrer "lenomdevotreraspberry.local" dans le champ "hostname".
- Cliquer sur "open", le terminal devrait s'ouvrir à nouveau.
Mettre à jour les logiciels
- Dans le terminal, taper
sudo apt-get update
La commande met à jour la base de données locale des logiciels disponibles en téléchargeant les bases de données de paquets dont les adresses se trouvent dans le fichier /etc/apt/sources.list
- Taper ensuite
sudo apt-get upgrade
pour mettre à jour tous les logiciels installés sur le raspberry.
- Taper enfin
sudo apt-get dist-upgrade
pour mettre à jour la version de Raspbian si nécessaire.
Changer le mot de passe de l'utilisateur [facultatif]
L'utilisateur par défaut se nomme "pi". Pour changer son mot de passe, taper dans le terminal la commande
passwd
et suivre les instructions.
Installer et configurer Samba [facultatif]
Samba va permettre de partager les dossiers du raspberry sur le réseau pour pouvoir y accéder via le navigateur de fichiers de votre ordinateur.
- Dans le terminal, taper
sudo apt-get install samba samba-common-bin
- Ouvrir le fichier de configuration de samba en tapant
sudo nano /etc/samba/smb.conf
- Modifier la ligne
wins support = no
en
wins support = yes
- Ajouter les lignes suivantes à la fin du fichier
[pihome] comment=home pi path=/home/pi browseable=Yes writeable=Yes only guest=no create mask=0775 directory mask=0775 public=no
- Sauver le fichier et quitter (ctrl+x)
- Ajouter l'utilisateur pi comme utilisateur samba
sudo smbpasswd -a pi
Installer et configurer un bureau à distance [facultatif]
Installer le serveur du bureau à distance sur le raspberry
- Installer "tightvncserver":
sudo apt-get install tightvncserver
- Lancer "tightvncserver"
tightvncserver
Entrer un mot de passe demandé. Le bureau distant a normalement été créé à l'adresse :1, :0 étant l'adresse du bureau par défaut sur le raspberry.
- Pour éteindre le bureau par défaut, taper
service lightdm stop
- Pour éteindre un bureau créé aevec tightvncserver, taper
vncserver -kill :1
où :1 est l'adresse du bureau que vous désirez arrêter.
(Linux) Se connecter via l'ordinateur client
- Chercher l'application (ou installer via
apt-get
si nécessaire) "remote desktop viewer" (Vinagre pour Gnome, krdc pour KDE) - Ouvrir l'application et dans le champs "host" taper l'adresse du raspberry suivie de l'adresse de l'écran (exemple:
lenomdevotreraspberry.local:1
). Spécifier "VNC" comme protocole de connexion et cliquer sur "connect".
(Mac OS) Se connecter via l'ordinateur client
- Dans le menu du Finder, cliquer sur "Aller " puis "Se connecter au serveur", puis entrer l'adresse du raspberry précédée de "vnc://", par exemple:
vnc://lenomdevotreraspberry.local:1
(Windows) Se connecter via l'ordinateur client
- Télécharger "tightvnc" à l'adresse http://www.tightvnc.com/download.php et l'installer.
- Ouvrir l'application et dans le champs "host" taper l'adresse du raspberry suivie de l'adresse de l'écran (exemple:
lenomdevotreraspberry.local:1
). Cliquer sur "connect".
Lire une vidéo
Le lecteur vidéo par défaut installé sur Raspbian se nomme omxplayer. Il peut être exécuté à distance, sans nécessairement de session de bureau active sur le raspberry. Pour lire une vidéo, taper dans le terminal:
omxplayer --loop --no-osd lefichier.mp4
Créer des scripts bash et automatiser leur exécution
Créer un script de base qui s'exécutera à chaque démarrage du raspberry
Le script bash que nous allons réaliser envoie du texte dans un fichier à chaque exécution.
Insérer du texte dans un fichier
- Créer un fichier "messages" qui contiendra le texte
touch messages
- Tester l'envoi de texte dans le fichier
echo "test" >> messages
- Afficher le contenu du fichier
cat messages
Créer un fichier contenant la commande d'insertion du texte
- Créer un nouveau fichier
nano hello.sh
- Y insérer l'entête qui indique le programme qui doit l'interpréter et la commande
#!/bin/bash
echo "hello" >> /home/pi/messages
exit 0
- Sauver et quitter le fichier (ctrl + x)
- Rendre le fichier exécutable
chmod +x hello.sh
- Tester son exécution
./hello.sh
Exécuter le script créé à chaque démarrage du raspberry
- Il s'agit de modifier le fichier "/etc/rc.local" pour y ajouter l'adresse du script juste avant la ligne "exit 0"
sudo nano /etc/rc.local
- La fin du fichier doit ressembler à ceci:
/home/pi/hello.sh &
exit 0
Créer un script d'envoi d'email qui s'exécutera à chaque connexion au wifi
Le script bash que nous allons réaliser envoie un email à chaque exécution.
Installer et configurer les outils nécessaires
- Installer les paquets nécessaires
sudo apt-get install mailutils mpack ssmtp
- Configurer ssmtp avec les informations de connexion à un serveur smtp
sudo nano /etc/ssmtp/ssmtp.conf
Exemple de configuration pour envoyer les mails à partir d'une adresse gmail
root=utilisateur@gmail.com mailhub=smtp.gmail.com:587 hostname=lionel AuthUser=utilisateur@gmail.com AuthPass=motdepasse FromLineOverride=YES UseTLS=YES UseSTARTTLS=YES
- Pour les adresses gmail, il est possible de devoir effectuer des étapes supplémentaires; voir ici: https://support.google.com/mail/answer/78754?hl=en
Envoyer un mail via une ligne de commande
echo "Contenu du mail" | mail -s "Titre du mail" destinataire@gmail.com
Créer un fichier contenant la commande d'envoi d'un email
- Créer un nouveau fichier
nano email.sh
- Y insérer la commande l'entête qui indique le programme qui doit l'interpréter et la commande d'envoi d'email
#!/bin/bash
echo "Contenu du mail" | mail -s "Titre du mail" destinataire@gmail.com
exit 0
- Sauver et quitter le fichier (ctrl + x)
- Rendre le fichier exécutable
chmod +x email.sh
- Tester son exécution
./email.sh
Exécuter le script créé à chaque connexion au réseau wifi
Puisque notre script a besoin de la connexion pour fonctionner, il faut qu'il s'exécute au moment où cette connexion est disponnible et non directement au démarrage du raspberry.
- Copier le script dans le répertoire "/etc/network/if-up.d"
sudo mv email.sh /etc/network/if-up.d/email
- Modifier le script pour qu'il n'envoie pas de mail si une autre interface réseau que le wifi se connecte et pour qu'il attende quelques secondes après l'activation du wifi (pour l'obtention d'une adresse ip) avant d'envoyer un email.
#!/bin/bash
if [ "$IFACE" != "wlan0" ];then
exit 0
fi
sleep 10
echo "Contenu du mail" | mail -s "Titre du mail" destinataire@gmail.com
exit 0
Planifier l'exécution d'un script avec crontab
Crontab permet l'exécution planifiée d'un script, c'est à dire programmer l'exécution d'un script pour qu'elle ait lieu toutes les x minutes/x heures/x jours du mois/x mois/x jours de la semaine.
- Pour éditer le crontab de l'utilisateur courant (pi), il faut taper la commande:
crontab -e
- Chaque ligne de ce fichier correspond à une commande planifiée. Par exemple, pour exécuter toutes les 5 minutes notre script /home/pi/hello.sh, il faut ajouter la ligne
5 * * * * /home/pi/hello.sh
à la fin du fichier. Les règles pour écrire la planification sont indiquées au début du fichier crontab.
- Sauver et quitter (ctrl+x)
Convertir un script en démon avec systemd
- Créer un script (ici un script python) qui tournera en boucle
nano /home/pi/daemon.py
par exemple:
#!/usr/bin/python
# -*- coding: utf-8 -*-
from time import sleep
try:
while True:
with open("test.txt", "a") as myfile:
myfile.write("patatras ")
time.sleep(5)
except KeyboardInterrupt:
print "goodbye!"
- Créer un nouveau fichier de configuration de systemd
sudo nano /lib/systemd/system/daemon.service
[Unit] Description=Test script After=multi-user.target [Service] Type=idle ExecStart=/usr/bin/python /home/pi/daemon.py [Install] WantedBy=multi-user.target
- Changer les droits d'accès de ce fichier
sudo chmod 644 /lib/systemd/system/daemon.service
- Mettre à jour systemd avec ce nouveau fichier
sudo systemctl daemon-reload
sudo systemctl enable daemon.service
- Redémarrer le raspberry
sudo reboot now
Convertir son raspberry en point d'accès wifi
Le but est ici de transformer le raspberry pi en un point d'accès wifi accessible sur n'importe quel matériel (smartphone, tablette ou ordinateur), de partager la connexion Internet branchée sur le Raspberry et d'afficher son propre contenu dans le navigateur web de l'appareil connecté. Pour cela, il faut dédier l'interface wifi du Raspberry à la diffusion du réseau. Si l'on veut partager une connexion Internet aux appareils connectés à ce réseau, il faut utiliser une autre interface; soit une clé wifi supplémentaire, soit le port ethernet du Raspberry.
Installer et configurer hostapd et dnsmasq
- Installer "hostapd et dnsmasq", le premier servira à configurer le point d'accès wifi et le second servira à distribuer des adresses ip (via dhcp):
sudo apt-get install dnsmasq hostapd
- Éteindre les deux services installés (pour modifier leur configuration)
sudo systemctl stop dnsmasq
sudo systemctl stop hostapd
- Configurer l'interface wlan0 pour lui attribuer une ip fixe et l'empêcher de se connecter à un réseau wifi via wpa_supplicant
sudo nano /etc/dhcpcd.conf
- Ajouter dans le fichier:
interface wlan0 static ip_address=10.10.0.1/24 nohook wpa_supplicant
Où l'adresse ip 10.10.0.1 correspond à l'adresse ip de l'interface qui agira comme serveur dhcp
- Sauvegarder le fichier de configuration par défaut de dnsmasq
sudo mv /etc/dnsmasq.conf /etc/dnsmasq.conf.orig
- Créer un nouveau fichier de configuration de dnsmask
sudo nano /etc/dnsmasq.conf
- Y insérer les lignes suivantes:
interface=wlan0 dhcp-range=10.10.0.2,10.10.0.20,255.255.255.0,24h
Où l'on spécifie que l'interface wifi embarquée sur le Raspberry pourra distribuer des adresses ip à ses clients dans l'intervale entre 10.10.0.2 et 10.10.0.20
- Créer un fichier de configuration, "/etc/hostapd/hostapd.conf" pour le point d'accès wifi
sudo nano /etc/hostapd/hostapd.conf
et y insérer le contenu suivant (en adaptant le nom du point d'accès et le mot de passe):
interface=wlan0 driver=nl80211 ssid=leNomDuPointDAcces hw_mode=g channel=7 wmm_enabled=0 macaddr_acl=0 auth_algs=1 ignore_broadcast_ssid=0 wpa=2 wpa_passphrase=LeMotDePasse wpa_key_mgmt=WPA-PSK wpa_pairwise=TKIP rsn_pairwise=CCMP
- Indiquer à hostapd le fichier de configuration créé. Ouvrir le fichier "/etc/default/hostapd"
sudo nano /etc/default/hostapd
Modifier la ligne #DAEMON_CONF=""
par DAEMON_CONF="/etc/hostapd/hostapd.conf"
.
- Démarrer hostapd et dnsmasq
sudo service hostapd start
sudo service dnsmasq start
Installer et configurer nginx
- Pour installer nginx, taper
sudo apt-get install nginx
- Pour modifier la page html par défaut de nginx, créer un fichier index.html à la racine du serveur
nano /var/www/html/index.html
- Sauver et quitter (ctrl+x)
Exemples de scripts python
Variables et input
#!/usr/bin/python
# -*- coding: utf-8 -*-
name = raw_input("merci de m'indiquer votre prénom ")
print "bonjour %s" % name
nb = int(raw_input("merci de m'indiquer un chiffre "))
if nb > 5:
print "%d c'est quand même beaucoup %s" % (nb, name)
else:
print "%d c'est pas grand chose %s" % (nb, name)
Import d'un fichier texte et boucle sur liste
#!/usr/bin/python
# -*- coding: utf-8 -*-
with open("data.txt", "r") as myfile:
data = myfile.read().replace("\n", "")
for i, letter in enumerate(data):
print i, letter
Capture d'images avec la raspicam
#!/usr/bin/python
# -*- coding: utf-8 -*-
import picamera
from time import sleep
camera = picamera.PiCamera()
i = 0
try:
while True:
camera.capture("image%s.jpg"%i)
i+=1
sleep(5)
except KeyboardInterrupt:
print "goodbye!"
Le Raspberry et les ports GPIO
Contrôler une prise Chacon DIO
Voir le schéma des ports GPIO
L'utilitaire gpio permet de voir le schéma des ports sur la raspberry PI, ce qui permet d'identifier les numéros des ports à utiliser, chaque pin ayant un identifiant physique, un numéro de port gpio s'il s'agit d'un port gpio et un numéro "wiring pi". Qui permet de s'y adresser lorsqu'on utilise cette bibliothèque.
gpio readall
Le résultat de la commande permet de voir que le pin physique 11 correspond au port GPIO17 et au port Wiring PI 0.
Brancher un émetteur RF433MHZ au Raspberry
Pour notre exemple, nous utilisons donc la pin physique 11, GPIO17, Wiring PI 0.
Compiler le programme C++ de contrôle de la prise
Nous allons utiliser le programme développé par Idleman voir le post du blog, et précisément une version allégée, téléchargeable ici: [3] que nous allons compiler:
g++ -o chacon_send chacon_send.cpp -lwiringPi
On obtient le fichier exécutable "chacon_send" qui va nous permettre d'allumer et d'éteindre une prise chacon.
Configurer une prise Chacon avec le programme compilé
Les messages envoyés aux prises doivent tous comporter un code unique, mot de passe qui permet de prendre le contrôle de la prise, un identifiant allant de 1 à 3 qui permet de choisir une prise à contrôler si plusieurs prises sont accessibles par le signal, et un message "on" ou "off". Pour définir le mot de passe et l'identifiant de la prise, il faut envoyer à la prise une commande "on" et une commande "off" directement après le branchement contenant ces informations.
sudo ./chacon_send 0 12325261 1 on
sudo ./chacon_send 0 12325261 1 off
Où 0 est le numéro du port Wiring PI, 1234561 le code de la prise que l'on définit et 1 l'identifiant de la prise.