Articles sur Debian
Un pour les unir tous
Avant c’était pas si mieux
Combien de fois en voulant installer un logiciel quelconque sur une machine debian, je suis tomber sur une
instruction du genre: curl https://www.closeyoureye.org/random_script.sh | bash
Démarrer une debian ARM 64 sur un Raspberry Pi 4 depuis un disque dur externe
Objectif
Dans cet article je vais expliquer comment faire démarrer son Raspeberry Pi 4 directement depuis un disque dur externe USB. Et pour être totalement moderne, nous démarrerons une debian ARM64, au lieu de Raspberry Pi OS qui est devenu persona no grata.
Première étape, activer l’option boot on usb
Il faut commencer par se procurer une distribution dédiée au Raspberry, comme par exemple celle que vous pouvez construire vous même avec le projet pi-gen. On ne va pas utiliser cette distribution définitivement, mais uniquement pour mettre à jour et configurer le Raspberry Pi 4. Il faudra donc utiliser une carte SD, sur laquelle vous aurez installer cette distribution, et démarrer une première fois dessus.
Dix choses à faire après l’installation d’un serveur sous Debian
Après avoir installé, ou commandé, une machine sous debian, voici les dix actions supplémentaires que je trouve indispensables d’effectuer avant de commencer à utiliser sa machine.
1. Réglage des locales
J’ai eu la surprise, après la commande d’une dédibox, de voir les locales par défaut en français. J’aime bien cette langue, mais en informatique, l’anglais est de rigueur. Un petit dpkg-reconfigure locales et le problème est réglé.