diff --git a/content/en/2.general/5.linux/2.filesystem.md b/content/en/2.general/5.linux/2.filesystem.md index 5f37d6d..3e2288e 100644 --- a/content/en/2.general/5.linux/2.filesystem.md +++ b/content/en/2.general/5.linux/2.filesystem.md @@ -22,13 +22,13 @@ That tree isn't arbitrary either. Every Debian install has the same folders in t | `/usr` | The installed programs themselves, managed by `apt` | | `/opt` | Software installed outside the package manager | | `/mnt` and `/media` | Where extra disks get mounted, `/media` for removable ones | -| `/boot` | The kernel and the bootloader, on a small partition of its own | +| `/boot` | The kernel and the bootloader. On a default UEFI Debian install it lives on `/`; only `/boot/efi` (the EFI system partition) is separate | | `/dev` | Your hardware, exposed as files (`/dev/sda` is a disk) | | `/proc` and `/sys` | The kernel's live state, invented on the fly, not real files | ## Folders are not partitions -Partitions are a different question from folders. A minimal Debian install typically creates two, one for `/` and one for swap, so every folder above except `/boot` lives on the same partition and shares the same free space. Two commands to see the reality of it: `lsblk` draws the tree of disks and partitions, `df -h` shows how full each one is. +Partitions are a different question from folders. A minimal Debian install typically creates two, one for `/` and one for swap, so every folder above except `/boot/efi` lives on the same partition and shares the same free space. Two commands to see the reality of it: `lsblk` draws the tree of disks and partitions, `df -h` shows how full each one is. ```bash [Terminal] lsblk diff --git a/content/en/3.serveex/2.core/1.installation.md b/content/en/3.serveex/2.core/1.installation.md index 822b59c..379e8de 100644 --- a/content/en/3.serveex/2.core/1.installation.md +++ b/content/en/3.serveex/2.core/1.installation.md @@ -311,7 +311,7 @@ sudo apt full-upgrade sudo apt autoremove --purge ``` -Every kernel update leaves the previous one installed, and `/boot` is a small partition that eventually fills up and breaks the next upgrade. Do this every single time, not once in a while. `--purge` also drops the config files of the packages being removed. +Every kernel update leaves the previous one installed, and they pile up if nobody clears them out. Do this every single time, not once in a while. `--purge` also drops the config files of the packages being removed. #### Reboot if the kernel moved diff --git a/content/fr/2.general/5.linux/2.filesystem.md b/content/fr/2.general/5.linux/2.filesystem.md index 83418a0..3fc2fbe 100644 --- a/content/fr/2.general/5.linux/2.filesystem.md +++ b/content/fr/2.general/5.linux/2.filesystem.md @@ -22,13 +22,13 @@ Cet arborescence n'a rien d'arbitraire. Toutes les installations de Debian sont | `/usr` | Les programmes installés eux-mêmes, gérés par `apt` | | `/opt` | Les logiciels installés en dehors du gestionnaire de paquets | | `/mnt` et `/media` | Là où sont montés les disques supplémentaires, `/media` pour les amovibles | -| `/boot` | Le noyau et le chargeur de démarrage, sur une petite partition à part | +| `/boot` | Le noyau et le chargeur de démarrage. Sur une install Debian UEFI par défaut, il vit sur `/` ; seule `/boot/efi` (la partition système EFI) est à part | | `/dev` | Votre matériel, exposé sous forme de fichiers (`/dev/sda` est un disque) | | `/proc` et `/sys` | L'état vivant du noyau, changeant à la volée, pas de vrais fichiers | ## Un dossier n'est pas une partition -Les partitions sont une question distincte des dossiers. Une installation minimale de Debian en crée typiquement deux, une pour `/` et une pour le swap, si bien que tous les dossiers ci-dessus sauf `/boot` vivent sur la même partition et se partagent le même espace libre. Deux commandes pour en voir la réalité : `lsblk` dessine l'arbre des disques et des partitions, `df -h` montre le taux de remplissage de chacune. +Les partitions sont une question distincte des dossiers. Une installation minimale de Debian en crée typiquement deux, une pour `/` et une pour le swap, si bien que tous les dossiers ci-dessus sauf `/boot/efi` vivent sur la même partition et se partagent le même espace libre. Deux commandes pour en voir la réalité : `lsblk` dessine l'arbre des disques et des partitions, `df -h` montre le taux de remplissage de chacune. ```bash [Terminal] lsblk diff --git a/content/fr/3.serveex/2.core/1.installation.md b/content/fr/3.serveex/2.core/1.installation.md index 68f0dba..0689f60 100644 --- a/content/fr/3.serveex/2.core/1.installation.md +++ b/content/fr/3.serveex/2.core/1.installation.md @@ -312,7 +312,7 @@ sudo apt full-upgrade sudo apt autoremove --purge ``` -Chaque mise à jour de noyau laisse le précédent installé, et `/boot` est une petite partition qui finit par se remplir et casser la mise à jour suivante. Faites-le à chaque fois, pas de temps en temps. `--purge` supprime aussi les fichiers de configuration des paquets retirés. +Chaque mise à jour de noyau laisse le précédent installé, et ça s'accumule si personne ne fait le ménage. Faites-le à chaque fois, pas de temps en temps. `--purge` supprime aussi les fichiers de configuration des paquets retirés. #### Redémarrer si le noyau a bougé