summaryrefslogtreecommitdiff
path: root/po/fr/partitioning.po
diff options
context:
space:
mode:
authorD-I role <debian-boot@lists.debian.org>2019-08-19 23:00:14 +0000
committerD-I role <debian-boot@lists.debian.org>2019-08-19 23:00:14 +0000
commit96f8de33e6d819cb4ca5fd01d9ba80526fac31c3 (patch)
treef1bebaee5106ef71c3096b9807a321324b4d4ec3 /po/fr/partitioning.po
parent033984eafbfd857deb72ebf4613d8eaf9dec0325 (diff)
downloadinstallation-guide-96f8de33e6d819cb4ca5fd01d9ba80526fac31c3.zip
[SILENT_COMMIT] Update of POT and PO files for the installation-guide
Diffstat (limited to 'po/fr/partitioning.po')
-rw-r--r--po/fr/partitioning.po30
1 files changed, 0 insertions, 30 deletions
diff --git a/po/fr/partitioning.po b/po/fr/partitioning.po
index 2a1b5232f..98a02b034 100644
--- a/po/fr/partitioning.po
+++ b/po/fr/partitioning.po
@@ -512,13 +512,6 @@ msgstr "Schéma de partitionnement recommandé"
#. Tag: para
#: partitioning.xml:236
#, no-c-format
-#| msgid ""
-#| "For new users, personal &debian; boxes, home systems, and other single-"
-#| "user setups, a single <filename>/</filename> partition (plus swap) is "
-#| "probably the easiest, simplest way to go. However, if your partition is "
-#| "larger than around 6GB, choose ext3 as your partition type. Ext2 "
-#| "partitions need periodic file system integrity checking, and this can "
-#| "cause delays during booting when the partition is large."
msgid ""
"For new users, personal &debian; boxes, home systems, and other single-user "
"setups, a single <filename>/</filename> partition (plus swap) is probably "
@@ -546,16 +539,6 @@ msgstr ""
#. Tag: para
#: partitioning.xml:251
#, no-c-format
-#| msgid ""
-#| "You might need a separate <filename>/usr/local</filename> partition if "
-#| "you plan to install many programs that are not part of the &debian; "
-#| "distribution. If your machine will be a mail server, you might need to "
-#| "make <filename>/var/mail</filename> a separate partition. Often, putting "
-#| "<filename>/tmp</filename> on its own partition, for instance "
-#| "20&ndash;50MB, is a good idea. If you are setting up a server with lots "
-#| "of user accounts, it's generally good to have a separate, large "
-#| "<filename>/home</filename> partition. In general, the partitioning "
-#| "situation varies from computer to computer depending on its uses."
msgid ""
"You might need a separate <filename>/usr/local</filename> partition if you "
"plan to install many programs that are not part of the &debian; "
@@ -591,13 +574,6 @@ msgstr ""
#. Tag: para
#: partitioning.xml:269
#, no-c-format
-#| msgid ""
-#| "With respect to the issue of swap partition size, there are many views. "
-#| "One rule of thumb which works well is to use as much swap as you have "
-#| "system memory. It also shouldn't be smaller than 16MB, in most cases. Of "
-#| "course, there are exceptions to these rules. If you are trying to solve "
-#| "10000 simultaneous equations on a machine with 256MB of memory, you may "
-#| "need a gigabyte (or more) of swap."
msgid ""
"With respect to the issue of swap partition size, there are many views. One "
"rule of thumb which works well is to use as much swap as you have system "
@@ -613,12 +589,6 @@ msgstr ""
#. Tag: para
#: partitioning.xml:276
#, no-c-format
-#| msgid ""
-#| "As an example, an older home machine might have 32MB of RAM and a 1.7GB "
-#| "IDE drive on <filename>/dev/sda</filename>. There might be a 500MB "
-#| "partition for another operating system on <filename>/dev/sda1</filename>, "
-#| "a 32MB swap partition on <filename>/dev/sda3</filename> and about 1.2GB "
-#| "on <filename>/dev/sda2</filename> as the Linux partition."
msgid ""
"As an example, an older home machine might have 512MB of RAM and a 20GB SATA "
"drive on <filename>/dev/sda</filename>. There might be a 8GB partition for "