On 12/20/23 11:25, Michel Verdier wrote:
Le 19 décembre 2023 benoit a écrit :

% df -h
Avec fdisk -l on voit mieux l'enchainement des partitions

/dev/nvme0n1p7     128G    110G   13G  90% /div
/dev/nvme0n1p5     5,5G    4,9G  239M  96% /home
/dev/nvme0n1p4     9,1G    1,8G  6,9G  21% /var
As-tu une raison de mettre /div /home /var en partitions séparées ?


Le nom de répertoire /div est inhabituel, ne figure pas dans https://man7.org/linux/man-pages/man7/hier.7.html ; c'est donc spécifique au système de Benoît.

Le répertoire /var contient notamment (et habituellement) les logs sous /var/log - pour un serveur il peut être utile de les mettre dans un système de fichier séparé.

(Peut-être qui si Benoît avait un disque rotatif, il serait approprié de l'y mettre: les logs sont surtout écrits en séquence.... et exploités plus rarement qu'écrits; ils peuvent être légalement indispensables, par exemple pour un serveur Web ou de mail).

Librement

--
Basile Starynkevitch
 <bas...@starynkevitch.net>
(only mine opinions / les opinions sont miennes uniquement)
92340 Bourg-la-Reine, France
web page: starynkevitch.net/Basile/

Répondre à