Que ce soit pour mettre en place un serveur personnel, pour jouer à des jeux rétro, ou simplement par curiosité et pour apprendre la programmation, aujourd'hui nous pouvons tous obtenir a Raspberry Pi . Ce micro-ordinateur a acquis une grande notoriété dans le secteur informatique grâce à sa construction basée sur du matériel gratuit, la puissance considérable qu'il offre et, surtout, son prix. Nous pouvons installer une grande variété de systèmes d'exploitation (notamment Linux/Unix) dessus. Mais, quel que soit le système que nous installons, nous devrons peut-être effectuer une configuration pour l'adapter à nos besoins. Et ici, les problèmes peuvent commencer.
Raspberry Pi OS est le système d'exploitation officiel de ce micro-ordinateur. Ce système est basé sur Debian, et il est spécialement préparé et optimisé pour fonctionner de manière optimisée sur cet appareil. Cependant, en fonction de l'utilisation que nous allons lui donner, nous devrons peut-être en configurer certains aspects dès que nous le démarrons.
De cette façon, nous trouvons deux façons de configurer ce Raspberry Pi OS pour l'adapter à nos besoins.
Utiliser l'imageur Raspberry Pi
Raspberry Pi Imager est un outil, développé par les mêmes personnes en charge du micro-ordinateur, pour pouvoir préparer la micro-SD avec laquelle démarrer l'appareil. Au lieu d'avoir à télécharger NOOBS ou à enregistrer manuellement une image à partir de zéro, cet outil nous permet d'accéder aux principaux systèmes disponibles, de les télécharger et de les enregistrer sur la carte mémoire en quelques clics. De plus, si nous avons une image qui n'est pas disponible dans la liste (au format .img), nous pouvons également l'enregistrer à partir de ce programme sans avoir à recourir à d'autres outils tels que le célèbre Win32Imager.
Depuis la version 1.6, ce programme comprend un menu secret à partir duquel nous pourrons configurer notre micro-SD pendant le processus d'enregistrement. Ce menu peut être lancé à l'aide du raccourci clavier Ctrl-Maj-X , et il nous permettra, entre autres :
- Désactivez le surbalayage.
- Configurez le nom d'hôte.
- Activez et configurez SSH.
- Configurez le Wi-Fi.
- Définissez la langue et la disposition du clavier.
De cette façon, nous pouvons configurer notre système à partir de la minute zéro sans même avoir à le connecter à un écran. Grâce au Wi-Fi et au SSH, nous pouvons nous y connecter à distance sans rien faire d'autre.
Raspi-config, l'outil polyvalent
En tant que configuration de base, l'outil ci-dessus convient. Mais si l'on veut avoir beaucoup plus de contrôle sur le système d'exploitation, il faut recourir à un autre outil bien connu tel que Raspi-Config . Cet outil n'est rien de plus qu'un script que nous pouvons lancer à tout moment depuis un terminal et qui nous permettra de configurer de nombreux autres aspects de Raspberry Pi OS.
Pour le lancer, on va simplement connecter le Raspberry Pi, on va se connecter à interface ou tty, et on va lancer la commande suivante :
sudo raspi-config
Les options que nous aurons sont :
- Modifiez le mot de passe de l'utilisateur actuel.
- Configurer les paramètres réseau.
- Configurez les options de démarrage.
- Choisissez une langue et des paramètres régionaux.
- Configurer les périphériques.
- Activez l'un des profils d'overclocking pour améliorer les performances.
- Accédez aux options avancées.
- Mettre à jour Raspi-Config
- À propos de Raspi-Config.
Dans chacune des sections, nous trouverons plus d'options avec lesquelles nous pouvons ajuster complètement tous les paramètres de notre distribution et tirer le meilleur parti du Raspberry Pi.
