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/