[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: /home et /(root) partition ou répertoire ?



Le 06/10/2025 à 16:25, Erwann Le Bras a écrit :
bonjour

un / plein empêche le démarrage de la machine, c'est pourquoi il est recommandé de séparer /, /home, /var et /tmp pour éviter qu'un truc qui parte en vrille empêche le système de fonctionner. Dans ce cas, faut démarrer sur un système alternatif et faire du ménage avant de pouvoir redémarrer proprement.

Sur un système personnel, tout mettre dans la même partition est possible si :

  * on a un gros disque, bcp plus gros que son besoin. C'est la sécurité
    n°1.
  * on a une surveillance efficace de l'espace disque et on se promet
    d'y remédier efficacement dès la première alerte. C'est la sécurité n°2
  * on dispose d'un système de secours à démarrer pour faire du ménage
    si le système est figé. Le démarrer par grub est l'idéal, ça évite
    de chercher une clé USB ou un CD partout (vécu)

Tu oublie qu’on peut aussi paramérer la partition pour qu’un certain pourcentage soit réservé a l’administrateur (par defaut 5 %).


Reply to: