Poste de développement sur Raspberry Pi 400

Contexte

En première année, notre trinôme a reçu un Raspberry Pi 400 livré sans système d’exploitation ni logiciel préinstallé. Il fallait le préparer entièrement pour y héberger une base de données de camping.

Le problème

La machine nue devait devenir un serveur de base de données accessible à distance, sans image système préconfigurée. Chaque couche (système, réseau, base) devait être installée et configurée à la main.

Démarche et décisions

Nous avons installé Raspberry Pi OS, créé les utilisateurs et configuré le réseau. J’ai mis en service MariaDB et importé les tables SQL de la base de camping. L’accès distant passe par SSH. Le réglage de l’heure système, un proxy et des scripts d’activation réseau ont demandé un diagnostic, mené en nous appuyant sur les forums et la documentation. Nous l’avons consigné au fur et à mesure dans notre documentation technique, rédigée en anglais. Elle retrace aussi l’installation.

Les couches se sont ajoutées dans un ordre fixe (fig. 1).

1 / 6

Machine nue. Un Raspberry Pi 400 livré sans système d’exploitation ni logiciel préinstallé.
Système. Raspberry Pi OS installé à la main, sans image préconfigurée.
Réseau et utilisateurs. Les utilisateurs créés et le réseau configuré ; l’heure système réglée (timedatectl set-timezone Europe/Paris), un proxy et des scripts d’activation diagnostiqués et documentés en anglais.
MariaDB. Le serveur de base de données mis en service (apt install mariadb-server).
Base de camping. Les tables SQL de la base de camping importées (mysql < camping.sql) : le poste héberge la base.
Accès distant. Depuis une autre machine, la base est interrogée à distance par SSH (ssh pi@raspberrypi.local).

Fig. 1 — La mise en place du poste, de la machine nue à l’accès distant par SSH. Parcours au clavier (← →).

Les quatre commandes réelles de cette mise en place sont rejouées dans l’ordre en figure 2. Leurs sorties sont simulées.

# heure système sudo timedatectl set-timezone Europe/Paris # serveur de base de données sudo apt install mariadb-server # import des tables de la base de camping sudo mysql < camping.sql # depuis une autre machine, à distance ssh pi@raspberrypi.local

État du poste

Fuseau horaireà faire
Service MariaDBà faire
Base campingà faire
Accès SSHà faire

0 / 4

Prêt. Quatre commandes à rejouer, dans l’ordre de la mise en service.

Fig. 2 — Les quatre commandes rejouées une à une ; le panneau d’état coche ce que chaque étape met en place. Clavier : ← →, Début pour réinitialiser, Fin pour tout afficher.

Résultat

Le poste a répondu aux requêtes lancées depuis une autre machine via SSH, sur la base de camping importée.

Ce que j’ai appris

En ligne de commande, j’ai administré un système Linux, puis installé et configuré un SGBD. Le diagnostic réseau, je l’ai pratiqué sur le proxy et les scripts d’activation. Ces dépannages m’ont montré la valeur d’une documentation écrite au moment où le problème est résolu.

Limites et suite

L’installation a été faite pas à pas, manuellement. Aujourd’hui, je l’automatiserais avec un script de provisionnement, pour reconstruire le poste à l’identique sans refaire chaque étape.

Compétence	Niveau	Ce que le projet montre, et preuve
AdministrerFaire évoluer et maintenir un système informatique communicant en conditions opérationnelles	Niveau 1	Installer et configurer un système et ses services.Preuve : Installation de Raspberry Pi OS, configuration réseau et mise en service de MariaDB.
CollaborerTravailler dans une équipe informatique	Niveau 1	Travailler et documenter en équipe.Preuve : Organisation en trinôme et documentation technique rédigée en anglais.