editor, reviewer
523
modifications
« Le partitionnement » : différence entre les versions
Aller à la navigation
Aller à la recherche
m
→Généralités
m (lien vers article btrfs) |
m (→Généralités) |
||
| Ligne 83 : | Ligne 83 : | ||
* Pour les systèmes avec plusieurs utilisateurs, ou les systèmes avec beaucoup d'espace disque, il vaut mieux placer les répertoires /usr, /var, /tmp, et /home chacun sur une partition distincte de la partition /. | * Pour les systèmes avec plusieurs utilisateurs, ou les systèmes avec beaucoup d'espace disque, il vaut mieux placer les répertoires /usr, /var, /tmp, et /home chacun sur une partition distincte de la partition /. | ||
* Si vous prévoyez d'installer beaucoup de programmes qui ne font pas partie de | * Si vous prévoyez d'installer beaucoup de programmes qui ne font pas partie de la distribution Debian, pensez à créer une partition /usr/local séparée. | ||
* Si vous prévoyez de créer un serveur de mail, prévoyez une partition /var en conséquence (à moins que vous ne stockiez les courriers dans un autre répertoire - vous pourriez par exemple avoir besoin de mettre /var/mail sur une partition distincte. | * Si vous prévoyez de créer un serveur de mail, prévoyez une partition /var en conséquence (à moins que vous ne stockiez les courriers dans un autre répertoire - vous pourriez par exemple avoir besoin de mettre /var/mail sur une partition distincte. | ||
* Mettre le répertoire /tmp sur sa propre partition, par exemple 20 à 50 Mo est un minimum, sur les disques récents il peut être utile d'y mettre 1 ou 2G (des logiciels de gravure y mettent les images ISO temporaires, des logiciels d' | * Mettre le répertoire /tmp sur sa propre partition, par exemple 20 à 50 Mo est un minimum, sur les disques récents il peut être utile d'y mettre 1 ou 2G (des logiciels de gravure y mettent les images ISO temporaires, des logiciels d'installation y déploient tout un arbre avant de compiler, des logiciels d'édition video y mettent leur (gros) fichiers temporaires). Cette remarque vaut pour /var/tmp. | ||
* Si vous mettez sur pied un serveur avec beaucoup d'utilisateurs ou si vous avez plusieurs systèmes Linux, il est généralement intéressant d'avoir une grande partition distincte pour /home. | * Si vous mettez sur pied un serveur avec beaucoup d'utilisateurs ou si vous avez plusieurs systèmes Linux, il est généralement intéressant d'avoir une grande partition distincte pour /home. | ||