====== DietPi - OS minimaliste pour Raspberry Pi ====== DietPi est une distribution Linux basée sur Debian conçue pour les ordinateurs monocartes (SBC) commme le Raspberry Pi. Fonctionne aussi sur PC, dans une VM,… * Débute en 2014 (Raspbian) * Image minimale et utilisation minimale de ressources matérielles (mémoire, disque, accès) * Projet sous licence GNU GPL * Choix populaire pour des serveurs * Outils pour configurer le système et installer et configurer automatiquement de nombreux logiciels * Dépôt de Debian * Scripts shell supplémentaires, fichiers de configuration, automatisation * Documentation simplifiée des logiciels Outils principaux : * dietpi-software * dietpi-services * dietpi-update * dietpi-config (audio, réseau, sécurité, localisation) * **dietpi-launcher** donne accès à tous les outils DietPi pour la configuration et l’installation du système Références importantes et/ou utiles : * [[https://dietpi.com/|DietPi - Lightweight justice for your SBC!]] (site web) * [[https://dietpi.com/docs/|Overview - DietPi.com Docs]] (documentation) * [[https://dietpi.com/forum/|DietPi Community Forum - Welcome to the DietPi OS Community Forum]] (forum) * [[https://dietpi.com/blog/|DietPi Blog – … discover DietPi, Debian and Linux info]] (blog) * dépôt GitHub : [[https://github.com/MichaIng/DietPi]] (126 contributeurs) * financement Patreon [[https://www.patreon.com/DietPi]] (> 300 €/mois) * [[https://raspberrytips.fr/installation-dietpi-raspberry-pi/|Comment installer DietPi sur un Raspberry Pi (Guide complet) – RaspberryTips]] * [[https://www.howtogeek.com/what-is-dietpi/|What Is DietPi, and Should You Install It on Your Raspberry Pi?]] * [[https://dietpi.com/blog/?p=888|Comparison to other Debian based distributions – Why should you use DietPi? – DietPi Blog]] * [[https://korben.info/dietpi-debian-ultra-legere-optimisee-raspberry-pi-odroid-pine64.html|DietPi - Debian ultra légère pour Raspberry Pi & co - Korben]] → **tableau comparant DietPi avec Raspberry Pi OS Lite (64 bits)** * [[https://sebsauvage.net/wiki/doku.php?id=raspi3:dietpi|DietPi (Wiki de sebsauvage.net)]] ===== Les étapes de l’installation de DietPi ===== * [[https://dietpi.com/docs/install/|How to install DietPi - DietPi.com Docs]] * Télécharger une image (ex : RPi, PC, VM,…) : [[https://dietpi.com/#download]] * Raspberry PI : * Flasher l’image sur la carte SD (balenaEtcher) * Insérer la carte SD dans le Raspberry Pi et suivre l’assistant de démarrage * PC : flasher sur une clé USB, et démarrer sur cette clé * VirtualBox : télécharger l’image ISO et la référencer pour le démarrage d’une VM 1er démarrage : * les mises à jour système se font automatiquement à la première connexion (sinon : exécuter dietpi-update) + redémarrage * dietpi-software - désactiver si nécessaire ipv6 * introduire un nouveau mot de passe, ainsi qu’un mot de passe par défaut pour les applications installées par DietPi * désactiver la console serial/UART * DietPi-Config permet par exemple de passer d’une IP DHCP à une IP fixée ==== Installer sans ethernet, mais avec le Wi-Fi (& autres réglages) ==== Cf. [[https://raspberrytips.fr/installation-dietpi-raspberry-pi/|Comment installer DietPi sur un Raspberry Pi (Guide complet) – RaspberryTips]] → configurer le Wi-Fi avant le premier démarrage + autres réglages. Après le flashage de l’image sur la carte microSD et avant le démarrage : aller dans la partition boot et éditer le fichier dietpi.txt pour. Par exemple : * AUTO_SETUP_LOCALE=fr_BE.UTF-8 * AUTO_SETUP_KEYBOARD_LAYOUT=be * AUTO_SETUP_TIMEZONE=Europe/Brussels * AUTO_SETUP_NET_ETHERNET_ENABLED=1 * AUTO_SETUP_NET_WIFI_ENABLED=1 * AUTO_SETUP_NET_WIFI_COUNTRY_CODE=BE * aWIFI_SSID[0]=‘Mon_routeur_wifi’ * aWIFI_KEY[0]=‘motdepasse123’ * AUTO_SETUP_NET_USESTATIC=1 * AUTO_SETUP_NET_STATIC_IP=192.168.1.152 * AUTO_SETUP_NET_STATIC_GATEWAY=192.168.1.1 * AUTO_SETUP_DHCP_TO_STATIC=1 * CONFIG_ENABLE_IPV6=0 * AUTO_SETUP_DHCP_TO_STATIC=1 ==== Utiliser SSH pour gérer DietPi à partir d’un autre PC ==== * DietPi active SSH par défaut au premier démarrage ! * [[https://raspberrytips.fr/comment-trouver-ip-raspberry-pi/|7 Façons de trouver l’adresse IP de votre Raspberry Pi – RaspberryTips]] * ssh root@IP (utilisateur : root - mot de passe : dietpi) ===== Les logiciels prévus et optimisés ===== * [[https://dietpi.com/docs/software/|DietPi Software Options - DietPi.com Docs]] ==== Exemple d’application : File Browser ==== [[https://dietpi.com/docs/software/cloud/#file-browser]] + * Access to the web interface * Directories * Modify the default config * User management * View logs * Update