diff options
author | Holger Wansing <linux@wansing-online.de> | 2010-10-09 15:59:06 +0000 |
---|---|---|
committer | Holger Wansing <linux@wansing-online.de> | 2010-10-09 15:59:06 +0000 |
commit | 52c18f6515861c87dbff5278a055b331d28dcf21 (patch) | |
tree | dc31e0818b6bf32c73353163b97503c41a5d8501 /fr/partitioning/schemes.xml | |
parent | 05bb1805e3ca37d8b91a7feb3de5120f3299a682 (diff) | |
download | installation-guide-52c18f6515861c87dbff5278a055b331d28dcf21.zip |
Change many occurences of 'Debian' into &debian; and some few of
'Debian GNU/Linux' into &debian-gnu;.
This run is for the french version, other languages will follow.
Diffstat (limited to 'fr/partitioning/schemes.xml')
-rw-r--r-- | fr/partitioning/schemes.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/fr/partitioning/schemes.xml b/fr/partitioning/schemes.xml index 0eb31d6d0..8e4afe17c 100644 --- a/fr/partitioning/schemes.xml +++ b/fr/partitioning/schemes.xml @@ -4,7 +4,7 @@ <title>Schéma de partitionnement recommandé</title> <para> -Pour les nouveaux utilisateurs, les machines Debian personnelles ou +Pour les nouveaux utilisateurs, les machines &debian; personnelles ou familiales, et autres systèmes mono-utilisateur, une simple partition <filename>/</filename> (plus celle d'échange) est sans doute la solution la plus simple. Cependant, si votre partition a une taille supérieure à @@ -25,7 +25,7 @@ partition distincte de la partition <filename>/</filename>. Dans certains cas, vous pourriez avoir besoin d'une partition <filename>/usr/local</filename> distincte si vous prévoyez d'installer -beaucoup de programmes qui ne font pas partie de la distribution Debian. +beaucoup de programmes qui ne font pas partie de la distribution &debian;. Si votre machine est destinée à être un serveur de courrier, vous pourriez avoir besoin de mettre aussi <filename>/var/mail</filename> sur une partition distincte. Parfois, mettre le répertoire |